summaryrefslogtreecommitdiffstats
path: root/src/test/ui/underscore-lifetime/in-binder.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/underscore-lifetime/in-binder.rs')
-rw-r--r--src/test/ui/underscore-lifetime/in-binder.rs35
1 files changed, 35 insertions, 0 deletions
diff --git a/src/test/ui/underscore-lifetime/in-binder.rs b/src/test/ui/underscore-lifetime/in-binder.rs
new file mode 100644
index 000000000..74dc331b0
--- /dev/null
+++ b/src/test/ui/underscore-lifetime/in-binder.rs
@@ -0,0 +1,35 @@
+// Check that we error when `'_` appears as the name of a lifetime parameter.
+//
+// Regression test for #52098.
+
+struct IceCube<'a> {
+ v: Vec<&'a char>
+}
+
+impl<'_> IceCube<'_> {}
+//~^ ERROR `'_` cannot be used here
+
+struct Struct<'_> {
+ //~^ ERROR `'_` cannot be used here
+ v: Vec<&'static char>
+}
+
+enum Enum<'_> {
+ //~^ ERROR `'_` cannot be used here
+ Variant
+}
+
+union Union<'_> {
+ //~^ ERROR `'_` cannot be used here
+ a: u32
+}
+
+trait Trait<'_> {
+ //~^ ERROR `'_` cannot be used here
+}
+
+fn foo<'_>() {
+ //~^ ERROR `'_` cannot be used here
+}
+
+fn main() {}