Add a test for associated existential type

This commit is contained in:
Seiichi Uchida 2018-07-25 00:42:19 +09:00
parent 6d7a764b3d
commit a2b40bd70f
2 changed files with 8 additions and 0 deletions

View File

@ -9,3 +9,7 @@ where
: Fn(T) -> T;
pub existential type Adderrr<T>: Fn( T ) -> T;
impl Foo for Bar {
existential type E : Trait;
}

View File

@ -9,3 +9,7 @@ where
: Fn(T) -> T;
pub existential type Adderrr<T>: Fn(T) -> T;
impl Foo for Bar {
existential type E: Trait;
}