//@ 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() {} |