19 lines
478 B
Rust
19 lines
478 B
Rust
//! Show an uninformative diagnostic that we could possibly improve in the future
|
|
|
|
trait Trait<T> {}
|
|
|
|
impl<T, U> Trait<T> for U {}
|
|
|
|
fn hello() -> &'static (dyn Trait<impl Sized> + Send) {
|
|
//~^ ERROR: type annotations needed
|
|
if false {
|
|
let x = hello();
|
|
let _: &'static dyn Trait<()> = &x;
|
|
//^ Note the extra `&`, paired with the blanket impl causing
|
|
// `impl Sized` to never get a hidden type registered.
|
|
}
|
|
todo!()
|
|
}
|
|
|
|
fn main() {}
|