src/test/ui/traits/alias/self-in-generics.rs

   1 // astconv uses `FreshTy(0)` as a dummy `Self` type when instanciating trait objects.
   2 // This `FreshTy(0)` can leak into substs, causing ICEs in several places.
   3 // Using `save-analysis` triggers type-checking `f` that would be normally skipped
   4 // as `type_of` emitted an error.
   5 //
   6 // compile-flags: -Zsave-analysis
   7
   8 #![feature(trait_alias)]
   9
  10 pub trait SelfInput = Fn(&mut Self);
  11
  12 pub fn f(_f: &dyn SelfInput) {}
  13 //~^ ERROR the trait alias `SelfInput` cannot be made into an object [E0038]
  14
  15 fn main() {}