Skip to content

redscript regression #221

Closed
rust-lang/rust
#141703
@compiler-errors

Description

@compiler-errors

Something due to a missing normalization when applying user type annotations or something like that.

https://crater-reports.s3.amazonaws.com/pr-133502-13/try%233cddd79d4be3c8f1e937d09ca618d192abc69373/gh/jac3km4.redscript-ide/log.txt

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

Labels

from-craterA regression found via a crater run, not part of our test suite

Type

No type

Projects

Status

done

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions