Skip to content

Commit a2b40bd

Browse files
committed
Add a test for associated existential type
1 parent 6d7a764 commit a2b40bd

File tree

2 files changed

+8
-0
lines changed

2 files changed

+8
-0
lines changed

tests/source/existential_type.rs

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -9,3 +9,7 @@ where
99
: Fn(T) -> T;
1010

1111
pub existential type Adderrr<T>: Fn( T ) -> T;
12+
13+
impl Foo for Bar {
14+
existential type E : Trait;
15+
}

tests/target/existential_type.rs

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -9,3 +9,7 @@ where
99
: Fn(T) -> T;
1010

1111
pub existential type Adderrr<T>: Fn(T) -> T;
12+
13+
impl Foo for Bar {
14+
existential type E: Trait;
15+
}

0 commit comments

Comments
 (0)