Add tests for illegal use bound syntax

Author: compiler-errors

compiler/rustc_ast_lowering/messages.ftl

@@ -128,7 +128,7 @@ ast_lowering_never_pattern_with_guard =
     a guard on a never pattern will never be run
     .suggestion = remove this guard
 
-ast_lowering_no_precise_captures_on_apit = `use<...>` precise capturing syntax not allowed on argument-position `impl Trait`
+ast_lowering_no_precise_captures_on_apit = `use<...>` precise capturing syntax not allowed in argument-position `impl Trait`
 
 ast_lowering_previously_used_here = previously used here
 

compiler/rustc_ast_passes/messages.ftl

@@ -14,7 +14,7 @@ ast_passes_assoc_type_without_body =
     associated type in `impl` without body
     .suggestion = provide a definition for the type
 
-ast_passes_precise_capturing_not_allowed_here = `use<...>` precise capturing syntax is not allowed in {$loc}
+ast_passes_precise_capturing_not_allowed_here = `use<...>` precise capturing syntax not allowed in {$loc}
 
 ast_passes_at_least_one_trait = at least one trait must be specified
 

compiler/rustc_ast_passes/src/ast_validation.rs

@@ -1384,7 +1384,7 @@ impl<'a> Visitor<'a> for AstValidator<'a> {
                     self.dcx().emit_err(errors::PreciseCapturingNotAllowedHere {
                         loc: ctxt.descr(),
                         span: *span,
-                    })
+                    });
                 }
             },
         }

tests/ui/impl-trait/precise-capturing/apit.rs

@@ -2,6 +2,6 @@
 //~^ WARN the feature `precise_capturing` is incomplete
 
 fn hello(_: impl Sized + use<>) {}
-//~^ ERROR `use<...>` precise capturing syntax not allowed on argument-position `impl Trait`
+//~^ ERROR `use<...>` precise capturing syntax not allowed in argument-position `impl Trait`
 
 fn main() {}

tests/ui/impl-trait/precise-capturing/apit.stderr

@@ -7,7 +7,7 @@ LL | #![feature(precise_capturing)]
    = note: see issue #123432 <https://github.com/rust-lang/rust/issues/123432> for more information
    = note: `#[warn(incomplete_features)]` on by default
 
-error: `use<...>` precise capturing syntax not allowed on argument-position `impl Trait`
+error: `use<...>` precise capturing syntax not allowed in argument-position `impl Trait`
   --> $DIR/apit.rs:4:26
    |
 LL | fn hello(_: impl Sized + use<>) {}

tests/ui/impl-trait/precise-capturing/dyn-use.rs

@@ -0,0 +1,4 @@
+#![feature(precise_capturing)]
+
+fn dyn() -> &'static dyn use<> { &() }
+//~^ ERROR expected one of `!`, `(`, `::`, `<`, `where`, or `{`, found keyword `use`

tests/ui/impl-trait/precise-capturing/dyn-use.stderr

@@ -0,0 +1,8 @@
+error: expected one of `!`, `(`, `::`, `<`, `where`, or `{`, found keyword `use`
+  --> $DIR/dyn-use.rs:3:26
+   |
+LL | fn dyn() -> &'static dyn use<> { &() }
+   |                          ^^^ expected one of `!`, `(`, `::`, `<`, `where`, or `{`
+
+error: aborting due to 1 previous error
+

tests/ui/impl-trait/precise-capturing/illegal-positions.rs

@@ -0,0 +1,17 @@
+#![feature(precise_capturing)]
+//~^ WARN the feature `precise_capturing` is incomplete
+
+trait Foo: use<> {
+    //~^ ERROR `use<...>` precise capturing syntax not allowed
+type Assoc: use<> where (): use<>;
+    //~^ ERROR `use<...>` precise capturing syntax not allowed
+    //~| ERROR `use<...>` precise capturing syntax not allowed
+}
+
+fn fun<T: use<>>(_: impl use<>) where (): use<> {}
+//~^ ERROR `use<...>` precise capturing syntax not allowed
+//~| ERROR `use<...>` precise capturing syntax not allowed
+//~| ERROR `use<...>` precise capturing syntax not allowed
+//~| ERROR at least one trait must be specified
+
+fn main() {}

tests/ui/impl-trait/precise-capturing/illegal-positions.stderr

@@ -0,0 +1,53 @@
+error: `use<...>` precise capturing syntax not allowed in supertrait bounds
+  --> $DIR/illegal-positions.rs:4:12
+   |
+LL | trait Foo: use<> {
+   |            ^^^^^
+
+error: `use<...>` precise capturing syntax not allowed in bounds
+  --> $DIR/illegal-positions.rs:6:29
+   |
+LL | type Assoc: use<> where (): use<>;
+   |                             ^^^^^
+
+error: `use<...>` precise capturing syntax not allowed in bounds
+  --> $DIR/illegal-positions.rs:6:13
+   |
+LL | type Assoc: use<> where (): use<>;
+   |             ^^^^^
+
+error: `use<...>` precise capturing syntax not allowed in bounds
+  --> $DIR/illegal-positions.rs:11:11
+   |
+LL | fn fun<T: use<>>(_: impl use<>) where (): use<> {}
+   |           ^^^^^
+
+error: `use<...>` precise capturing syntax not allowed in bounds
+  --> $DIR/illegal-positions.rs:11:43
+   |
+LL | fn fun<T: use<>>(_: impl use<>) where (): use<> {}
+   |                                           ^^^^^
+
+error: at least one trait must be specified
+  --> $DIR/illegal-positions.rs:11:21
+   |
+LL | fn fun<T: use<>>(_: impl use<>) where (): use<> {}
+   |                     ^^^^^^^^^^
+
+warning: the feature `precise_capturing` is incomplete and may not be safe to use and/or cause compiler crashes
+  --> $DIR/illegal-positions.rs:1:12
+   |
+LL | #![feature(precise_capturing)]
+   |            ^^^^^^^^^^^^^^^^^
+   |
+   = note: see issue #123432 <https://github.com/rust-lang/rust/issues/123432> for more information
+   = note: `#[warn(incomplete_features)]` on by default
+
+error: `use<...>` precise capturing syntax not allowed in argument-position `impl Trait`
+  --> $DIR/illegal-positions.rs:11:26
+   |
+LL | fn fun<T: use<>>(_: impl use<>) where (): use<> {}
+   |                          ^^^^^
+
+error: aborting due to 7 previous errors; 1 warning emitted
+