blob: ac4ff1ae2dfd017646b26e783e4bafb4aaee879a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
// check-pass
// Extending `improper_ctypes` to check external-ABI fn-ptrs means that it can encounter
// projections which cannot be normalized - unsurprisingly, this shouldn't crash the compiler.
trait Bar {
type Assoc;
}
type Foo<T> = extern "C" fn() -> <T as Bar>::Assoc;
fn main() {}
|