https://github.com/llvm-beanz commented: Oh, something else missing from this change is that implicit truncations should produce a diagnostic just like we do for vector truncations. https://github.com/llvm/llvm-project/pull/168915