diff options
Diffstat (limited to '')
-rw-r--r-- | src/test/ui/type-alias-impl-trait/bound_reduction2.rs | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/src/test/ui/type-alias-impl-trait/bound_reduction2.rs b/src/test/ui/type-alias-impl-trait/bound_reduction2.rs deleted file mode 100644 index 4d2890b5d..000000000 --- a/src/test/ui/type-alias-impl-trait/bound_reduction2.rs +++ /dev/null @@ -1,18 +0,0 @@ -#![feature(type_alias_impl_trait)] - -fn main() {} - -trait TraitWithAssoc { - type Assoc; -} - -type Foo<V> = impl Trait<V>; - -trait Trait<U> {} - -impl<W> Trait<W> for () {} - -fn foo_desugared<T: TraitWithAssoc>(_: T) -> Foo<T::Assoc> { - () - //~^ ERROR non-defining opaque type use -} |