diff options
Diffstat (limited to 'src/test/ui/impl-trait/projection-mismatch-in-impl-where-clause.rs')
| -rw-r--r-- | src/test/ui/impl-trait/projection-mismatch-in-impl-where-clause.rs | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/src/test/ui/impl-trait/projection-mismatch-in-impl-where-clause.rs b/src/test/ui/impl-trait/projection-mismatch-in-impl-where-clause.rs deleted file mode 100644 index b4fd6b3e743..00000000000 --- a/src/test/ui/impl-trait/projection-mismatch-in-impl-where-clause.rs +++ /dev/null @@ -1,20 +0,0 @@ -pub trait Super { - type Assoc; -} - -impl Super for () { - type Assoc = u8; -} - -pub trait Test {} - -impl<T> Test for T where T: Super<Assoc = ()> {} - -fn test() -> impl Test { - //~^ERROR type mismatch resolving `<() as Super>::Assoc == ()` - () -} - -fn main() { - let a = test(); -} |
