summaryrefslogtreecommitdiffstats
path: root/tests/ui/lifetimes/issue-105227.fixed
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--tests/ui/lifetimes/issue-105227.fixed26
1 files changed, 26 insertions, 0 deletions
diff --git a/tests/ui/lifetimes/issue-105227.fixed b/tests/ui/lifetimes/issue-105227.fixed
new file mode 100644
index 000000000..f6ed9c82e
--- /dev/null
+++ b/tests/ui/lifetimes/issue-105227.fixed
@@ -0,0 +1,26 @@
+// Regression test for issue #105227.
+
+// run-rustfix
+#![allow(warnings)]
+fn chars0<'a>(v :(&'a str, &'a str)) -> impl Iterator<Item = char> + 'a {
+//~^ HELP to declare that `impl Iterator<Item = char>` captures `'_`, you can introduce a named lifetime parameter `'a`
+ v.0.chars().chain(v.1.chars())
+ //~^ ERROR hidden type for `impl Iterator<Item = char>` captures lifetime that does not appear in bounds
+}
+
+fn chars1<'a>(v0 : &'a str, v1 : &'a str) -> impl Iterator<Item = char> + 'a {
+//~^ HELP to declare that `impl Iterator<Item = char>` captures `'_`, you can introduce a named lifetime parameter `'a`
+ v0.chars().chain(v1.chars())
+ //~^ ERROR hidden type for `impl Iterator<Item = char>` captures lifetime that does not appear in bound
+}
+
+fn chars2<'b>(v0 : &'b str, v1 : &'b str, v2 : &'b str) ->
+//~^ HELP to declare that `impl Iterator<Item = char>` captures `'_`, you can use the named lifetime parameter `'b`
+ (impl Iterator<Item = char> + 'b , &'b str)
+{
+ (v0.chars().chain(v1.chars()), v2)
+ //~^ ERROR hidden type for `impl Iterator<Item = char>` captures lifetime that does not appear in bound
+}
+
+fn main() {
+}