diff options
| -rw-r--r-- | src/test/compile-fail/dyn-trait-compatibility.rs | 5 | ||||
| -rw-r--r-- | src/test/run-pass/dyn-trait.rs | 2 |
2 files changed, 2 insertions, 5 deletions
diff --git a/src/test/compile-fail/dyn-trait-compatibility.rs b/src/test/compile-fail/dyn-trait-compatibility.rs index a7cfda504c7..454b6d2f566 100644 --- a/src/test/compile-fail/dyn-trait-compatibility.rs +++ b/src/test/compile-fail/dyn-trait-compatibility.rs @@ -20,10 +20,5 @@ type A3 = dyn<<dyn as dyn>::dyn>; //~^ ERROR cannot find type `dyn` in this scope //~| ERROR cannot find type `dyn` in this scope //~| ERROR Use of undeclared type or module `dyn` -type A4 = dyn(dyn, dyn) -> dyn; -//~^ ERROR cannot find type `dyn` in this scope -//~| ERROR cannot find type `dyn` in this scope -//~| ERROR cannot find type `dyn` in this scope -//~| ERROR cannot find type `dyn` in this scope fn main() {} diff --git a/src/test/run-pass/dyn-trait.rs b/src/test/run-pass/dyn-trait.rs index 91930852a57..d6ddb9b6008 100644 --- a/src/test/run-pass/dyn-trait.rs +++ b/src/test/run-pass/dyn-trait.rs @@ -17,6 +17,8 @@ static BYTE: u8 = 33; fn main() { let x: &(dyn 'static + Display) = &BYTE; let y: Box<dyn Display + 'static> = Box::new(BYTE); + let _: &dyn (Display) = &BYTE; + let _: &dyn (::std::fmt::Display) = &BYTE; let xstr = format!("{}", x); let ystr = format!("{}", y); assert_eq!(xstr, "33"); |
