From f035630089a4d7b037183cd9ded8b275e37601d6 Mon Sep 17 00:00:00 2001
From: Alexander Regueiro <alexreg@me.com>
Date: Sat, 6 Jul 2019 16:16:12 +0100
Subject: [PATCH] Blessed tests.

---
 src/test/ui/type-alias/issue-62263-self-in-atb.stderr   | 9 +++++++++
 src/test/ui/type-alias/issue-62305-self-assoc-ty.stderr | 9 +++++++++
 src/test/ui/type-alias/issue-62364-self-ty-arg.stderr   | 9 +++++++++
 3 files changed, 27 insertions(+)
 create mode 100644 src/test/ui/type-alias/issue-62263-self-in-atb.stderr
 create mode 100644 src/test/ui/type-alias/issue-62305-self-assoc-ty.stderr
 create mode 100644 src/test/ui/type-alias/issue-62364-self-ty-arg.stderr

diff --git a/src/test/ui/type-alias/issue-62263-self-in-atb.stderr b/src/test/ui/type-alias/issue-62263-self-in-atb.stderr
new file mode 100644
index 0000000000000..a642d029f93b5
--- /dev/null
+++ b/src/test/ui/type-alias/issue-62263-self-in-atb.stderr
@@ -0,0 +1,9 @@
+error[E0433]: failed to resolve: use of undeclared type or module `Self`
+  --> $DIR/issue-62263-self-in-atb.rs:5:32
+   |
+LL | pub type Alias = dyn Trait<A = Self::A>;
+   |                                ^^^^ use of undeclared type or module `Self`
+
+error: aborting due to previous error
+
+For more information about this error, try `rustc --explain E0433`.
diff --git a/src/test/ui/type-alias/issue-62305-self-assoc-ty.stderr b/src/test/ui/type-alias/issue-62305-self-assoc-ty.stderr
new file mode 100644
index 0000000000000..6eb445e9dbcfe
--- /dev/null
+++ b/src/test/ui/type-alias/issue-62305-self-assoc-ty.stderr
@@ -0,0 +1,9 @@
+error[E0433]: failed to resolve: use of undeclared type or module `Self`
+  --> $DIR/issue-62305-self-assoc-ty.rs:1:14
+   |
+LL | type Alias = Self::Target;
+   |              ^^^^ use of undeclared type or module `Self`
+
+error: aborting due to previous error
+
+For more information about this error, try `rustc --explain E0433`.
diff --git a/src/test/ui/type-alias/issue-62364-self-ty-arg.stderr b/src/test/ui/type-alias/issue-62364-self-ty-arg.stderr
new file mode 100644
index 0000000000000..5ed27760a82dd
--- /dev/null
+++ b/src/test/ui/type-alias/issue-62364-self-ty-arg.stderr
@@ -0,0 +1,9 @@
+error[E0411]: cannot find type `Self` in this scope
+  --> $DIR/issue-62364-self-ty-arg.rs:5:29
+   |
+LL | type Alias<'a> = Struct<&'a Self>;
+   |                             ^^^^ `Self` is only available in impls, traits, and type definitions
+
+error: aborting due to previous error
+
+For more information about this error, try `rustc --explain E0411`.