tests/ui/lazy-type-alias/inherent-impls-not-nominal.rs


1
2
3
4
5
6
7
8
9
10
11
12

#![feature(lazy_type_alias)]
#![allow(incomplete_features)]

type Alias = <() as Trait>::Out;

trait Trait { type Out; }
impl Trait for () { type Out = Local; }
struct Local;

impl Alias {} //~ ERROR no nominal type found for inherent implementation

fn main() {}