summaryrefslogtreecommitdiffstats
path: root/src/test/ui/generic-associated-types/bugs/issue-88460.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/generic-associated-types/bugs/issue-88460.rs')
-rw-r--r--src/test/ui/generic-associated-types/bugs/issue-88460.rs29
1 files changed, 0 insertions, 29 deletions
diff --git a/src/test/ui/generic-associated-types/bugs/issue-88460.rs b/src/test/ui/generic-associated-types/bugs/issue-88460.rs
deleted file mode 100644
index 224e696ad..000000000
--- a/src/test/ui/generic-associated-types/bugs/issue-88460.rs
+++ /dev/null
@@ -1,29 +0,0 @@
-// check-fail
-// known-bug: #88460
-
-// This should pass, but has a missed normalization due to HRTB.
-
-pub trait Marker {}
-
-pub trait Trait {
- type Assoc<'a>;
-}
-
-fn test<T>(value: T)
-where
- T: Trait,
- for<'a> T::Assoc<'a>: Marker,
-{
-}
-
-impl Marker for () {}
-
-struct Foo;
-
-impl Trait for Foo {
- type Assoc<'a> = ();
-}
-
-fn main() {
- test(Foo);
-}