summaryrefslogtreecommitdiffstats
path: root/src/test/ui/regions/regions-normalize-in-where-clause-list.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/regions/regions-normalize-in-where-clause-list.rs')
-rw-r--r--src/test/ui/regions/regions-normalize-in-where-clause-list.rs31
1 files changed, 0 insertions, 31 deletions
diff --git a/src/test/ui/regions/regions-normalize-in-where-clause-list.rs b/src/test/ui/regions/regions-normalize-in-where-clause-list.rs
deleted file mode 100644
index 389f82e79..000000000
--- a/src/test/ui/regions/regions-normalize-in-where-clause-list.rs
+++ /dev/null
@@ -1,31 +0,0 @@
-// Test that we are able to normalize in the list of where-clauses,
-// even if `'a: 'b` is required.
-
-trait Project<'a, 'b> {
- type Item;
-}
-
-impl<'a, 'b> Project<'a, 'b> for ()
-where
- 'a: 'b,
-{
- type Item = ();
-}
-
-// No error here, we have 'a: 'b. We used to report an error here
-// though, see https://github.com/rust-lang/rust/issues/45937.
-fn foo<'a: 'b, 'b>()
-where
- <() as Project<'a, 'b>>::Item: Eq,
-{
-}
-
-// Here we get an error: we need `'a: 'b`.
-fn bar<'a, 'b>()
-//~^ ERROR cannot infer
-where
- <() as Project<'a, 'b>>::Item: Eq,
-{
-}
-
-fn main() {}