diff options
Diffstat (limited to '')
-rw-r--r-- | src/test/ui/type-alias-impl-trait/type-alias-impl-trait-with-cycle-error2.rs | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/src/test/ui/type-alias-impl-trait/type-alias-impl-trait-with-cycle-error2.rs b/src/test/ui/type-alias-impl-trait/type-alias-impl-trait-with-cycle-error2.rs new file mode 100644 index 000000000..7c7a1b405 --- /dev/null +++ b/src/test/ui/type-alias-impl-trait/type-alias-impl-trait-with-cycle-error2.rs @@ -0,0 +1,14 @@ +#![feature(type_alias_impl_trait)] + +pub trait Bar<T> { + type Item; +} + +type Foo = impl Bar<Foo, Item = Foo>; +//~^ ERROR: unconstrained opaque type + +fn crash(x: Foo) -> Foo { + x +} + +fn main() {} |