Closed
Description
Something due to a missing normalization when applying user type annotations or something like that.
trait Mirror {
type Assoc;
}
impl<T> Mirror for T {
type Assoc = T;
}
struct Foo<'a> { f: <&'a (i32,) as Mirror>::Assoc }
impl Foo<'_> {
fn hello(x: Self) {
match x {
Self { f: (i,) } => {}
}
}
}
Metadata
Metadata
Assignees
Type
Projects
Status
done