1 #![feature(associated_type_defaults)]
3 // This is a partial regression test for #26681, which used to fail to resolve
4 // `Self` in the assoc. constant, and now fails with a type mismatch because
5 // `Self::Fv` cannot be assumed to equal `u8` inside the trait.
17 const C: <Self::Fv as Foo>::Bar = 6665; //~ error: mismatched types