1 files changed, 66 insertions, 0 deletions
diff --git a/src/test/ui/type/type-ascription-precedence.stderr b/src/test/ui/type/type-ascription-precedence.stderr
new file mode 100644
index 000000000..a8139063d
--- /dev/null
+++ b/src/test/ui/type/type-ascription-precedence.stderr
@@ -0,0 +1,66 @@
+error[E0308]: mismatched types
+  --> $DIR/type-ascription-precedence.rs:31:7
+   |
+LL |     &(S: &S);
+   |       ^ expected `&S`, found struct `S`
+
+error[E0308]: mismatched types
+  --> $DIR/type-ascription-precedence.rs:35:7
+   |
+LL |     *(S: Z);
+   |       ^ expected struct `Z`, found struct `S`
+
+error[E0614]: type `Z` cannot be dereferenced
+  --> $DIR/type-ascription-precedence.rs:35:5
+   |
+LL |     *(S: Z);
+   |     ^^^^^^^
+
+error[E0308]: mismatched types
+  --> $DIR/type-ascription-precedence.rs:40:7
+   |
+LL |     -(S: Z);
+   |       ^ expected struct `Z`, found struct `S`
+
+error[E0600]: cannot apply unary operator `-` to type `Z`
+  --> $DIR/type-ascription-precedence.rs:40:5
+   |
+LL |     -(S: Z);
+   |     ^^^^^^^ cannot apply unary operator `-`
+   |
+note: an implementation of `std::ops::Neg` might be missing for `Z`
+  --> $DIR/type-ascription-precedence.rs:9:1
+   |
+LL | struct Z;
+   | ^^^^^^^^ must implement `std::ops::Neg`
+note: the following trait must be implemented
+  --> $SRC_DIR/core/src/ops/arith.rs:LL:COL
+   |
+LL | pub trait Neg {
+   | ^^^^^^^^^^^^^
+
+error[E0308]: mismatched types
+  --> $DIR/type-ascription-precedence.rs:45:5
+   |
+LL |     (S + Z): Z;
+   |     ^^^^^^^ expected struct `Z`, found struct `S`
+
+error[E0308]: mismatched types
+  --> $DIR/type-ascription-precedence.rs:49:5
+   |
+LL |     (S * Z): Z;
+   |     ^^^^^^^ expected struct `Z`, found struct `S`
+
+error[E0308]: mismatched types
+  --> $DIR/type-ascription-precedence.rs:53:5
+   |
+LL |     (S .. S): S;
+   |     ^^^^^^^^ expected struct `S`, found struct `std::ops::Range`
+   |
+   = note: expected struct `S`
+              found struct `std::ops::Range<S>`
+
+error: aborting due to 8 previous errors
+
+Some errors have detailed explanations: E0308, E0600, E0614.
+For more information about an error, try `rustc --explain E0308`.