- Type parameters are the only kind of generic parameters. You can't have
const N: usize as the self type of a trait bound, so it never winds up in types so we'll never wind up putting const generics in the final generics string. playground (run test)
- Type parameters are always used in the self type of a trait bound. This was not true on stable until very recently when we made
T: ?Sized be sugar for T: MetaSized. You can still observe this with the rustc_no_implicit_bounds attr: playground (run test). Also this means that right now T: ?Sized on stable gets re-sugared as T: MetaSized which is wrong
Originally posted by @BoxyUwU in #145929 (review)
Originally posted by @BoxyUwU in #145929 (review)