rust/tests/ui/traits/object/canonicalize-fresh-infer-va...

16 lines
358 B
Rust

trait FromResidual<R = <Self as Try>::Residual> {
fn from_residual(residual: R) -> Self;
}
trait Try {
type Residual;
}
fn w<'a, T: 'a, F: Fn(&'a T)>() {
let b: &dyn FromResidual = &();
//~^ ERROR: the trait `FromResidual` cannot be made into an object
//~| ERROR: the trait `FromResidual` cannot be made into an object
}
fn main() {}