about summary refs log tree commit diff
path: root/src/test/ui/impl-trait/bound-normalization-fail.rs
diff options
context:
space:
mode:
authorAlbert Larsan <74931857+albertlarsan68@users.noreply.github.com>2023-01-05 09:13:28 +0100
committerAlbert Larsan <74931857+albertlarsan68@users.noreply.github.com>2023-01-11 09:32:08 +0000
commitcf2dff2b1e3fa55fa5415d524200070d0d7aacfe (patch)
tree40a88d9a46aaf3e8870676eb2538378b75a263eb /src/test/ui/impl-trait/bound-normalization-fail.rs
parentca855e6e42787ecd062d81d53336fe6788ef51a9 (diff)
downloadrust-cf2dff2b1e3fa55fa5415d524200070d0d7aacfe.tar.gz
rust-cf2dff2b1e3fa55fa5415d524200070d0d7aacfe.zip
Move /src/test to /tests
Diffstat (limited to 'src/test/ui/impl-trait/bound-normalization-fail.rs')
-rw-r--r--src/test/ui/impl-trait/bound-normalization-fail.rs48
1 files changed, 0 insertions, 48 deletions
diff --git a/src/test/ui/impl-trait/bound-normalization-fail.rs b/src/test/ui/impl-trait/bound-normalization-fail.rs
deleted file mode 100644
index 3329592478d..00000000000
--- a/src/test/ui/impl-trait/bound-normalization-fail.rs
+++ /dev/null
@@ -1,48 +0,0 @@
-// edition:2018
-
-// See issue 60414
-
-// Reduction to `impl Trait`
-
-struct Foo<T>(T);
-
-trait FooLike {
-    type Output;
-}
-
-impl<T> FooLike for Foo<T> {
-    type Output = T;
-}
-
-mod impl_trait {
-    use super::*;
-
-    trait Trait {
-        type Assoc;
-    }
-
-    /// `T::Assoc` can't be normalized any further here.
-    fn foo_fail<T: Trait>() -> impl FooLike<Output = T::Assoc> {
-        //~^ ERROR: type mismatch
-        Foo(())
-    }
-}
-
-// Same with lifetimes in the trait
-
-mod lifetimes {
-    use super::*;
-
-    trait Trait<'a> {
-        type Assoc;
-    }
-
-    /// Missing bound constraining `Assoc`, `T::Assoc` can't be normalized further.
-    fn foo2_fail<'a, T: Trait<'a>>() -> impl FooLike<Output = T::Assoc> {
-        //~^ ERROR `impl Trait` return type cannot contain a projection or `Self` that references lifetimes from a parent scope
-        //~| ERROR: type mismatch
-        Foo(())
-    }
-}
-
-fn main() {}