diff options
Diffstat (limited to 'src/test/ui/impl-trait/issues/infinite-impl-trait-issue-38064.rs')
| -rw-r--r-- | src/test/ui/impl-trait/issues/infinite-impl-trait-issue-38064.rs | 25 |
1 files changed, 0 insertions, 25 deletions
diff --git a/src/test/ui/impl-trait/issues/infinite-impl-trait-issue-38064.rs b/src/test/ui/impl-trait/issues/infinite-impl-trait-issue-38064.rs deleted file mode 100644 index 451ddb3cce0..00000000000 --- a/src/test/ui/impl-trait/issues/infinite-impl-trait-issue-38064.rs +++ /dev/null @@ -1,25 +0,0 @@ -// Test that attempts to construct infinite types via impl trait fail -// in a graceful way. -// -// Regression test for #38064. - -trait Quux {} - -fn foo() -> impl Quux { //~ ERROR cannot resolve opaque type - struct Foo<T>(T); - impl<T> Quux for Foo<T> {} - Foo(bar()) -} - -fn bar() -> impl Quux { //~ ERROR cannot resolve opaque type - struct Bar<T>(T); - impl<T> Quux for Bar<T> {} - Bar(foo()) -} - -// effectively: -// struct Foo(Bar); -// struct Bar(Foo); -// should produce an error about infinite size - -fn main() { foo(); } |
