summaryrefslogtreecommitdiffstats
path: root/tests/ui/traits/alias/self-in-generics.rs
blob: dcb33b7a90af4f34ca326fc505fbe0e68abc73b0 (plain)
1
2
3
4
5
6
7
8
9
10
11
// 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.

#![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() {}