summaryrefslogtreecommitdiffstats
path: root/tests/ui/typeck/issue-110052.rs
diff options
context:
space:
mode:
Diffstat (limited to 'tests/ui/typeck/issue-110052.rs')
-rw-r--r--tests/ui/typeck/issue-110052.rs12
1 files changed, 12 insertions, 0 deletions
diff --git a/tests/ui/typeck/issue-110052.rs b/tests/ui/typeck/issue-110052.rs
new file mode 100644
index 000000000..f124b58b5
--- /dev/null
+++ b/tests/ui/typeck/issue-110052.rs
@@ -0,0 +1,12 @@
+// Makes sure we deal with escaping lifetimes *above* INNERMOST when
+// suggesting trait for ambiguous associated type.
+
+impl<I, V> Validator<I> for ()
+where
+ for<'iter> dyn Validator<<&'iter I>::Item>:,
+ //~^ ERROR ambiguous associated type
+{}
+
+pub trait Validator<T> {}
+
+fn main() {}