]> git.proxmox.com Git - rustc.git/blobdiff - src/test/ui/issues/issue-35570.rs
New upstream version 1.56.0~beta.4+dfsg1
[rustc.git] / src / test / ui / issues / issue-35570.rs
index fafef79ea5b866adf39ed4846dc792db57c14729..42cef9a47f2792deebb6fa59daf887b4f09589ea 100644 (file)
@@ -1,5 +1,3 @@
-// check-pass
-
 use std::mem;
 
 trait Trait1<T> {}
@@ -8,6 +6,7 @@ trait Trait2<'a> {
 }
 
 fn _ice(param: Box<dyn for <'a> Trait1<<() as Trait2<'a>>::Ty>>) {
+//~^ the trait bound `for<'a> (): Trait2<'a>` is not satisfied
     let _e: (usize, usize) = unsafe{mem::transmute(param)};
 }