bless tests

Author: WaffleLapkin

tests/ui/associated-types/associated-type-struct-construction.rs

@@ -1,5 +1,7 @@
 // Check that fully qualified syntax can be used in struct expressions in patterns.
 // In other words, check that structs can constructed and destructed via an associated type.
+//
+//@ run-pass
 
 fn main() {
     let <Type as Trait>::Assoc { field } = <Type as Trait>::Assoc { field: 2 };

tests/ui/associated-types/tuple-struct-expr-pat.stderr

@@ -1,21 +1,21 @@
 error[E0575]: expected method or associated constant, found associated type `Trait::Assoc`
-  --> $DIR/tuple-struct-expr-pat.rs:10:36
+  --> $DIR/tuple-struct-expr-pat.rs:8:36
    |
 LL |     let <T<0> as Trait>::Assoc() = <T<0> as Trait>::Assoc();
    |                                    ^^^^^^^^^^^^^^^^^^^^^^-- help: use struct expression instead: `{}`
    |
    = note: can't use a type alias as a constructor
 
 error[E0575]: expected tuple struct or tuple variant, found associated type `Trait::Assoc`
-  --> $DIR/tuple-struct-expr-pat.rs:10:9
+  --> $DIR/tuple-struct-expr-pat.rs:8:9
    |
 LL |     let <T<0> as Trait>::Assoc() = <T<0> as Trait>::Assoc();
    |         ^^^^^^^^^^^^^^^^^^^^^^-- help: use struct pattern instead: `{}`
    |
    = note: can't use a type alias as tuple pattern
 
 error[E0575]: expected method or associated constant, found associated type `Trait::Assoc`
-  --> $DIR/tuple-struct-expr-pat.rs:13:38
+  --> $DIR/tuple-struct-expr-pat.rs:11:38
    |
 LL |     let <T<1> as Trait>::Assoc(_a) = <T<1> as Trait>::Assoc(0);
    |                                      ^^^^^^^^^^^^^^^^^^^^^^
@@ -28,7 +28,7 @@ LL +     let <T<1> as Trait>::Assoc(_a) = <T<1> as Trait>::Assoc { 0: 0 };
    |
 
 error[E0575]: expected tuple struct or tuple variant, found associated type `Trait::Assoc`
-  --> $DIR/tuple-struct-expr-pat.rs:13:9
+  --> $DIR/tuple-struct-expr-pat.rs:11:9
    |
 LL |     let <T<1> as Trait>::Assoc(_a) = <T<1> as Trait>::Assoc(0);
    |         ^^^^^^^^^^^^^^^^^^^^^^
@@ -41,7 +41,7 @@ LL +     let <T<1> as Trait>::Assoc { 0: _a } = <T<1> as Trait>::Assoc(0);
    |
 
 error[E0575]: expected method or associated constant, found associated type `Trait::Assoc`
-  --> $DIR/tuple-struct-expr-pat.rs:16:42
+  --> $DIR/tuple-struct-expr-pat.rs:14:42
    |
 LL |     let <T<2> as Trait>::Assoc(_a, _b) = <T<2> as Trait>::Assoc(0, 1);
    |                                          ^^^^^^^^^^^^^^^^^^^^^^
@@ -54,7 +54,7 @@ LL +     let <T<2> as Trait>::Assoc(_a, _b) = <T<2> as Trait>::Assoc { 0: 0, 1:
    |
 
 error[E0575]: expected tuple struct or tuple variant, found associated type `Trait::Assoc`
-  --> $DIR/tuple-struct-expr-pat.rs:16:9
+  --> $DIR/tuple-struct-expr-pat.rs:14:9
    |
 LL |     let <T<2> as Trait>::Assoc(_a, _b) = <T<2> as Trait>::Assoc(0, 1);
    |         ^^^^^^^^^^^^^^^^^^^^^^
@@ -67,7 +67,7 @@ LL +     let <T<2> as Trait>::Assoc { 0: _a, 1: _b } = <T<2> as Trait>::Assoc(0,
    |
 
 error[E0575]: expected method or associated constant, found associated type `Trait::Assoc`
-  --> $DIR/tuple-struct-expr-pat.rs:19:62
+  --> $DIR/tuple-struct-expr-pat.rs:17:62
    |
 LL |     let <T<3> as Trait>::Assoc(ref _a, ref mut _b, mut _c) = <T<3> as Trait>::Assoc(0, 1, 2);
    |                                                              ^^^^^^^^^^^^^^^^^^^^^^
@@ -80,7 +80,7 @@ LL +     let <T<3> as Trait>::Assoc(ref _a, ref mut _b, mut _c) = <T<3> as Trait
    |
 
 error[E0575]: expected tuple struct or tuple variant, found associated type `Trait::Assoc`
-  --> $DIR/tuple-struct-expr-pat.rs:19:9
+  --> $DIR/tuple-struct-expr-pat.rs:17:9
    |
 LL |     let <T<3> as Trait>::Assoc(ref _a, ref mut _b, mut _c) = <T<3> as Trait>::Assoc(0, 1, 2);
    |         ^^^^^^^^^^^^^^^^^^^^^^

tests/ui/feature-gates/feature-gate-more-qualified-paths.rs

@@ -1,5 +1,5 @@
 error[E0282]: type annotations needed
-  --> $DIR/incompat-call-after-qualified-path-0.rs:21:6
+  --> $DIR/incompat-call-after-qualified-path-0.rs:19:6
    |
 LL |   f(|a, b| a.cmp(b));
    |      ^     - type must be known at this point
@@ -10,13 +10,13 @@ LL |   f(|a: /* Type */, b| a.cmp(b));
    |       ++++++++++++
 
 error[E0061]: this function takes 0 arguments but 1 argument was supplied
-  --> $DIR/incompat-call-after-qualified-path-0.rs:21:3
+  --> $DIR/incompat-call-after-qualified-path-0.rs:19:3
    |
 LL |   f(|a, b| a.cmp(b));
    |   ^ --------------- unexpected argument
    |
 note: function defined here
-  --> $DIR/incompat-call-after-qualified-path-0.rs:17:4
+  --> $DIR/incompat-call-after-qualified-path-0.rs:15:4
    |
 LL | fn f() {}
    |    ^

tests/ui/feature-gates/feature-gate-more-qualified-paths.stderr

@@ -1,5 +1,5 @@
 error[E0282]: type annotations needed
-  --> $DIR/incompat-call-after-qualified-path-1.rs:25:6
+  --> $DIR/incompat-call-after-qualified-path-1.rs:23:6
    |
 LL |   f(|a, b| a.cmp(b));
    |      ^     - type must be known at this point
@@ -10,13 +10,13 @@ LL |   f(|a: /* Type */, b| a.cmp(b));
    |       ++++++++++++
 
 error[E0061]: this function takes 0 arguments but 1 argument was supplied
-  --> $DIR/incompat-call-after-qualified-path-1.rs:25:3
+  --> $DIR/incompat-call-after-qualified-path-1.rs:23:3
    |
 LL |   f(|a, b| a.cmp(b));
    |   ^ --------------- unexpected argument
    |
 note: function defined here
-  --> $DIR/incompat-call-after-qualified-path-1.rs:19:4
+  --> $DIR/incompat-call-after-qualified-path-1.rs:17:4
    |
 LL | fn f() {}
    |    ^

tests/ui/inference/need_type_info/incompat-call-after-qualified-path-0.stderr

@@ -4,9 +4,9 @@
 
 fn main() {
     match Some(vec![42]) {
-        Some(vec![43]) => {} //~ ERROR expected a pattern, found a function call
+        Some(vec![43]) => {}
+        //~^ ERROR expected a pattern, found a function call
         //~| ERROR found associated function
-        //~| ERROR usage of qualified paths in this context is experimental
         _ => {}
     }
 }

tests/ui/inference/need_type_info/incompat-call-after-qualified-path-1.stderr

@@ -7,17 +7,6 @@ LL |         Some(vec![43]) => {}
    = note: function calls are not allowed in patterns: <https://doc.rust-lang.org/book/ch19-00-patterns.html>
    = note: this error originates in the macro `vec` (in Nightly builds, run with -Z macro-backtrace for more info)
 
-error[E0658]: usage of qualified paths in this context is experimental
-  --> $DIR/vec-macro-in-pattern.rs:7:14
-   |
-LL |         Some(vec![43]) => {}
-   |              ^^^^^^^^
-   |
-   = note: see issue #86935 <https://github.com/rust-lang/rust/issues/86935> for more information
-   = help: add `#![feature(more_qualified_paths)]` to the crate attributes to enable
-   = note: this compiler was built on YYYY-MM-DD; consider upgrading it if it is out of date
-   = note: this error originates in the macro `vec` (in Nightly builds, run with -Z macro-backtrace for more info)
-
 error[E0164]: expected tuple struct or tuple variant, found associated function `<[_]>::into_vec`
   --> $DIR/vec-macro-in-pattern.rs:7:14
    |
@@ -27,7 +16,7 @@ LL |         Some(vec![43]) => {}
    = help: for more information, visit https://doc.rust-lang.org/book/ch19-00-patterns.html
    = note: this error originates in the macro `vec` (in Nightly builds, run with -Z macro-backtrace for more info)
 
-error: aborting due to 3 previous errors
+error: aborting due to 2 previous errors
 
-Some errors have detailed explanations: E0164, E0532, E0658.
+Some errors have detailed explanations: E0164, E0532.
 For more information about an error, try `rustc --explain E0164`.

tests/ui/macros/vec-macro-in-pattern.rs

@@ -1,7 +1,5 @@
 // Make sure we honor region constraints when normalizing type annotations.
 
-//@ check-fail
-
 trait Trait {
     type Assoc;
 }