mirror of https://github.com/rust-lang/rust
13 lines
317 B
Rust
13 lines
317 B
Rust
#![feature(inherent_associated_types)]
|
|
#![allow(incomplete_features)]
|
|
|
|
// Check that we don't crash when printing inherent projections in diagnostics.
|
|
|
|
struct Foo<T>(T);
|
|
|
|
impl<'a> Foo<fn(&'a ())> {
|
|
type Assoc = &'a ();
|
|
}
|
|
|
|
fn main(_: for<'a> fn(Foo<fn(&'a ())>::Assoc)) {} //~ ERROR `main` function has wrong type
|