From 11228ca3a08295fe452891a3d468b89bb874bc47 Mon Sep 17 00:00:00 2001
From: Alexander Regueiro <alexreg@me.com>
Date: Sat, 6 Jul 2019 16:15:27 +0100
Subject: [PATCH] Added tests for issues.

---
 src/test/ui/{cast_char.rs => cast-char.rs}          | 0
 src/test/ui/{cast_char.stderr => cast-char.stderr}  | 6 +++---
 src/test/ui/type-alias/issue-62263-self-in-atb.rs   | 8 ++++++++
 src/test/ui/type-alias/issue-62305-self-assoc-ty.rs | 4 ++++
 src/test/ui/type-alias/issue-62364-self-ty-arg.rs   | 8 ++++++++
 5 files changed, 23 insertions(+), 3 deletions(-)
 rename src/test/ui/{cast_char.rs => cast-char.rs} (100%)
 rename src/test/ui/{cast_char.stderr => cast-char.stderr} (85%)
 create mode 100644 src/test/ui/type-alias/issue-62263-self-in-atb.rs
 create mode 100644 src/test/ui/type-alias/issue-62305-self-assoc-ty.rs
 create mode 100644 src/test/ui/type-alias/issue-62364-self-ty-arg.rs

diff --git a/src/test/ui/cast_char.rs b/src/test/ui/cast-char.rs
similarity index 100%
rename from src/test/ui/cast_char.rs
rename to src/test/ui/cast-char.rs
diff --git a/src/test/ui/cast_char.stderr b/src/test/ui/cast-char.stderr
similarity index 85%
rename from src/test/ui/cast_char.stderr
rename to src/test/ui/cast-char.stderr
index 37ef98bcb5067..1729e5cbf0931 100644
--- a/src/test/ui/cast_char.stderr
+++ b/src/test/ui/cast-char.stderr
@@ -1,17 +1,17 @@
 error: only `u8` can be cast into `char`
-  --> $DIR/cast_char.rs:4:23
+  --> $DIR/cast-char.rs:4:23
    |
 LL |     const XYZ: char = 0x1F888 as char;
    |                       ^^^^^^^^^^^^^^^ help: use a `char` literal instead: `'\u{1F888}'`
    |
 note: lint level defined here
-  --> $DIR/cast_char.rs:1:9
+  --> $DIR/cast-char.rs:1:9
    |
 LL | #![deny(overflowing_literals)]
    |         ^^^^^^^^^^^^^^^^^^^^
 
 error: only `u8` can be cast into `char`
-  --> $DIR/cast_char.rs:6:22
+  --> $DIR/cast-char.rs:6:22
    |
 LL |     const XY: char = 129160 as char;
    |                      ^^^^^^^^^^^^^^ help: use a `char` literal instead: `'\u{1F888}'`
diff --git a/src/test/ui/type-alias/issue-62263-self-in-atb.rs b/src/test/ui/type-alias/issue-62263-self-in-atb.rs
new file mode 100644
index 0000000000000..5e812db4d2362
--- /dev/null
+++ b/src/test/ui/type-alias/issue-62263-self-in-atb.rs
@@ -0,0 +1,8 @@
+pub trait Trait {
+    type A;
+}
+
+pub type Alias = dyn Trait<A = Self::A>;
+//~^ ERROR failed to resolve: use of undeclared type or module `Self` [E0433]
+
+fn main() {}
diff --git a/src/test/ui/type-alias/issue-62305-self-assoc-ty.rs b/src/test/ui/type-alias/issue-62305-self-assoc-ty.rs
new file mode 100644
index 0000000000000..0b95ddeb19e78
--- /dev/null
+++ b/src/test/ui/type-alias/issue-62305-self-assoc-ty.rs
@@ -0,0 +1,4 @@
+type Alias = Self::Target;
+//~^ ERROR failed to resolve: use of undeclared type or module `Self` [E0433]
+
+fn main() {}
diff --git a/src/test/ui/type-alias/issue-62364-self-ty-arg.rs b/src/test/ui/type-alias/issue-62364-self-ty-arg.rs
new file mode 100644
index 0000000000000..bebb4a9021aab
--- /dev/null
+++ b/src/test/ui/type-alias/issue-62364-self-ty-arg.rs
@@ -0,0 +1,8 @@
+struct Struct<P1> {
+    field: P1,
+}
+
+type Alias<'a> = Struct<&'a Self>;
+//~^ ERROR cannot find type `Self` in this scope [E0411]
+
+fn main() {}