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