mirror of https://github.com/rust-lang/rust
13 lines
298 B
Rust
13 lines
298 B
Rust
//@ 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() {}
|