rust/tests/ui/nll/issue-57280-1.rs

// check-pass

trait Foo<'a> {
    const C: &'a u32;
}

impl<'a, T> Foo<'a> for T {
    const C: &'a u32 = &22;
}

fn foo() {
    let a = 22;
    match &a {
        <() as Foo<'static>>::C => { }
        &_ => { }
    }
}

fn main() {}
Use check-pass in ui tests where appropriate 2019-11-04 00:00:00 +00:00			`// check-pass`
Fix bug in associated constant type annotations. This commit reverses the variance used when relating types from the type annotation of an associated constant - this matches the behaviour of the lexical borrow checker and fixes a bug whereby matching a `&'a str` against a `&'static str` would produce an error. 2019-01-03 14:38:59 +00:00
			`trait Foo<'a> {`
			`const C: &'a u32;`
			`}`

			`impl<'a, T> Foo<'a> for T {`
			`const C: &'a u32 = &22;`
			`}`

			`fn foo() {`
			`let a = 22;`
			`match &a {`
			`<() as Foo<'static>>::C => { }`
			`&_ => { }`
			`}`
			`}`

			`fn main() {}`