summaryrefslogtreecommitdiffstats
path: root/src/test/ui/nll/user-annotations/normalize-self-ty.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/nll/user-annotations/normalize-self-ty.rs')
-rw-r--r--src/test/ui/nll/user-annotations/normalize-self-ty.rs23
1 files changed, 0 insertions, 23 deletions
diff --git a/src/test/ui/nll/user-annotations/normalize-self-ty.rs b/src/test/ui/nll/user-annotations/normalize-self-ty.rs
deleted file mode 100644
index df905c878..000000000
--- a/src/test/ui/nll/user-annotations/normalize-self-ty.rs
+++ /dev/null
@@ -1,23 +0,0 @@
-// Regression test for #55183: check a case where the self type from
-// the inherent impl requires normalization to be equal to the
-// user-provided type.
-//
-// check-pass
-
-trait Mirror {
- type Me;
-}
-
-impl<T> Mirror for T {
- type Me = T;
-}
-
-struct Foo<A, B>(A, B);
-
-impl<A> Foo<A, <A as Mirror>::Me> {
- fn m(_: A) { }
-}
-
-fn main() {
- <Foo<&'static u32, &u32>>::m(&22);
-}