blob: e37f7d34ab5b8fdd7973691b8ebda23d35793661 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
#![feature(inherent_associated_types)]
#![allow(incomplete_features)]
// Check that we don't crash when printing inherent projections in diagnostics.
pub struct Carrier<'a>(&'a ());
pub type User = for<'b> fn(Carrier<'b>::Focus<i32>);
impl<'a> Carrier<'a> {
pub type Focus<T> = &'a mut User; //~ ERROR overflow evaluating associated type
}
fn main() {}
|