27 lines
558 B
Rust
27 lines
558 B
Rust
|
//! Test that we allow unsizing `Trait<Concrete>` to `Trait<Opaque>` and vice versa
|
||
|
|
|
||
|
|
trait Trait<T> {}
|
||
|
|
|
||
|
|
impl<T, U> Trait<T> for U {}
|
||
|
|
|
||
|
|
fn hello() -> &'static (dyn Trait<impl Sized> + Send) {
|
||
|
|
if false {
|
||
|
|
let x = hello();
|
||
|
|
let _: &'static dyn Trait<()> = x;
|
||
|
|
//~^ ERROR: mismatched types
|
||
|
|
}
|
||
|
|
todo!()
|
||
|
|
}
|
||
|
|
|
||
|
|
fn bye() -> &'static dyn Trait<impl Sized> {
|
||
|
|
if false {
|
||
|
|
let mut x = bye();
|
||
|
|
let y: &'static (dyn Trait<()> + Send) = &();
|
||
|
|
x = y;
|
||
|
|
//~^ ERROR: mismatched types
|
||
|
|
}
|
||
|
|
todo!()
|
||
|
|
}
|
||
|
|
|
||
|
|
fn main() {}
|