Addressed points raised in review.

1 files changed, 33 insertions, 19 deletions

diff --git a/src/test/ui/traits/trait-alias/trait-alias-object-wf.rs b/src/test/ui/traits/trait-alias/trait-alias-object-wf.rs
index 6383e8b6e10..f7c410c6362 100644
--- a/src/test/ui/traits/trait-alias/trait-alias-object-wf.rs
+++ b/src/test/ui/traits/trait-alias/trait-alias-object-wf.rs
@@ -1,6 +1,6 @@
 // run-pass
 
-// This test checks that trait objects involving trait aliases are well-formed.
+// This test hecks that trait objects involving trait aliases are well-formed.
 
 #![feature(trait_alias)]
 
@@ -14,31 +14,39 @@ trait _1 = _0 + Send + Sync;
 
 use std::marker::Unpin;
 
-type _T01 = dyn _0;
-type _T02 = dyn _1;
-type _T03 = dyn Unpin + _1 + Send + Sync;
+fn _f0() {
+    let _: Box<dyn _0>;
+    let _: Box<dyn _1>;
+    let _: Box<dyn Unpin + _1 + Send + Sync>;
+}
 
 // Include object safe traits:
 
-type _T10 = dyn Obj + _0;
-type _T11 = dyn Obj + _1;
-type _T12 = dyn Obj + _1 + _0;
+fn _f1() {
+    let _: Box<dyn Obj + _0>;
+    let _: Box<dyn Obj + _1>;
+    let _: Box<dyn Obj + _1 + _0>;
+}
 
 // And when the object safe trait is in a trait alias:
 
 trait _2 = Obj;
 
-type _T20 = dyn _2 + _0;
-type _T21 = dyn _2 + _1;
-type _T22 = dyn _2 + _1 + _0;
+fn _f2() {
+    let _: Box<dyn _2 + _0>;
+    let _: Box<dyn _2 + _1>;
+    let _: Box<dyn _2 + _1 + _0>;
+}
 
 // And it should also work when that trait is has auto traits to the right of it.
 
 trait _3 = Obj + Unpin;
 
-type _T30 = dyn _3 + _0;
-type _T31 = dyn _3 + _1;
-type _T32 = dyn _3 + _1 + _0;
+fn _f3() {
+    let _: Box<dyn _3 + _0>;
+    let _: Box<dyn _3 + _1>;
+    let _: Box<dyn _3 + _1 + _0>;
+}
 
 // Nest the trait deeply:
 
@@ -46,9 +54,11 @@ trait _4 = _3;
 trait _5 = _4 + Sync + _0 + Send;
 trait _6 = _5 + Send + _1 + Sync;
 
-type _T60 = dyn _6 + _0;
-type _T61 = dyn _6 + _1;
-type _T62 = dyn _6 + _1 + _0;
+fn _f4() {
+    let _: Box<dyn _6 + _0>;
+    let _: Box<dyn _6 + _1>;
+    let _: Box<dyn _6 + _1 + _0>;
+}
 
 // Just nest the trait alone:
 
@@ -56,7 +66,9 @@ trait _7 = _2;
 trait _8 = _7;
 trait _9 = _8;
 
-type _T9 = dyn _9;
+fn _f5() {
+    let _: Box<dyn _9>;
+}
 
 // First bound is auto trait:
 
@@ -65,7 +77,9 @@ trait _11 = Obj + Send;
 trait _12 = Sync + _11;
 trait _13 = Send + _12;
 
-type _T70 = dyn _0;
-type _T71 = dyn _3;
+fn f6() {
+    let _: Box<dyn _10>;
+    let _: Box<dyn _13>;
+}
 
 fn main() {}