about summary refs log tree commit diff
diff options
context:
space:
mode:
authorAlexander Regueiro <alexreg@me.com>2019-07-06 16:15:27 +0100
committerAlexander Regueiro <alexreg@me.com>2019-07-06 16:15:27 +0100
commit11228ca3a08295fe452891a3d468b89bb874bc47 (patch)
tree90ddb469f77b371b303edf697182bc52219f083f
parentda441412f5fab6c34c2b5d01f04ac330ccf38988 (diff)
downloadrust-11228ca3a08295fe452891a3d468b89bb874bc47.tar.gz
rust-11228ca3a08295fe452891a3d468b89bb874bc47.zip
Added tests for issues.
-rw-r--r--src/test/ui/cast-char.rs (renamed from src/test/ui/cast_char.rs)0
-rw-r--r--src/test/ui/cast-char.stderr (renamed from src/test/ui/cast_char.stderr)6
-rw-r--r--src/test/ui/type-alias/issue-62263-self-in-atb.rs8
-rw-r--r--src/test/ui/type-alias/issue-62305-self-assoc-ty.rs4
-rw-r--r--src/test/ui/type-alias/issue-62364-self-ty-arg.rs8
5 files changed, 23 insertions, 3 deletions
diff --git a/src/test/ui/cast_char.rs b/src/test/ui/cast-char.rs
index 9634ed56f7b..9634ed56f7b 100644
--- a/src/test/ui/cast_char.rs
+++ b/src/test/ui/cast-char.rs
diff --git a/src/test/ui/cast_char.stderr b/src/test/ui/cast-char.stderr
index 37ef98bcb50..1729e5cbf09 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 00000000000..5e812db4d23
--- /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 00000000000..0b95ddeb19e
--- /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 00000000000..bebb4a9021a
--- /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() {}