| //@ revisions: current next |
| //@ ignore-compare-mode-next-solver (explicit revisions) |
| //@[next] compile-flags: -Znext-solver |
| //@ check-fail |
| // |
| // Make sure we can't trick the compiler by using a projection. |
| |
| trait Cat<'a> {} |
| impl Cat<'_> for () {} |
| |
| trait Id { |
| type Id: ?Sized; |
| } |
| impl<T: ?Sized> Id for T { |
| type Id = T; |
| } |
| |
| struct S<T: ?Sized> { |
| tail: <T as Id>::Id, |
| } |
| |
| fn m<'a>() { |
| let unsend: *const dyn Cat<'a> = &(); |
| let _send = unsend as *const S<dyn Cat<'static>>; |
| //~^ error: lifetime may not live long enough |
| } |
| |
| fn main() { |
| m(); |
| } |
