rust/tests/ui/associated-inherent-types/issue-109299-1.rs

16 lines
443 B
Rust

#![feature(inherent_associated_types, non_lifetime_binders, type_alias_impl_trait)]
#![allow(incomplete_features)]
struct Lexer<T>(T);
impl Lexer<i32> {
type Cursor = ();
}
type X = impl for<T> Fn() -> Lexer<T>::Cursor;
//~^ ERROR associated type `Cursor` not found for `Lexer<T>` in the current scope
//~| ERROR associated type `Cursor` not found for `Lexer<T>` in the current scope
//~| ERROR: unconstrained opaque type
fn main() {}