Wonky diagnostics on unsatisfied implicit Sized bounds #120178
Description
Code
fn main() { let _ = std::mem::size_of::<[i32]>(); }Current output
312 | pub const fn size_of<T>() -> usize { | ^ required by this bound in `size_of`The "this bound" doesn't actually point to a bound.
Desired output
Instead of "required by this bound"/"unsatisfied trait bound introduced here" we should say "note: T has an implicit bound of Sized"
Rationale and extra context
No response
Other cases
trait Foo { const VAL: usize; } impl<T> Foo for T { const VAL: usize = std::mem::size_of::<T>(); } fn main() { println!("{}", <[i32] as Foo>::VAL); }Produces:
5 | impl<T> Foo for T { | - ^^^ ^ | | | unsatisfied trait bound introduced hereRust Version
rustc 1.75.0 (82e1608df 2023-12-21) binary: rustc commit-hash: 82e1608dfa6e0b5569232559e3d385fea5a93112 commit-date: 2023-12-21 host: x86_64-unknown-linux-gnu release: 1.75.0 LLVM version: 17.0.6Anything else?
No response