tests/ui/traits/object/canonicalize-fresh-infer-vars-issue-103626.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14

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` is not dyn compatible
}

fn main() {}