diff options
Diffstat (limited to 'src/test/ui/underscore-lifetime/in-binder.rs')
-rw-r--r-- | src/test/ui/underscore-lifetime/in-binder.rs | 35 |
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() {} |