mirror of
https://github.com/rust-lang/rust.git
synced 2024-11-28 01:34:21 +00:00
24 lines
384 B
Rust
24 lines
384 B
Rust
// Regression test for #55183: check a case where the self type from
|
|
// the inherent impl requires normalization to be equal to the
|
|
// user-provided type.
|
|
//
|
|
//@ check-pass
|
|
|
|
trait Mirror {
|
|
type Me;
|
|
}
|
|
|
|
impl<T> Mirror for T {
|
|
type Me = T;
|
|
}
|
|
|
|
struct Foo<A, B>(A, B);
|
|
|
|
impl<A> Foo<A, <A as Mirror>::Me> {
|
|
fn m(_: A) { }
|
|
}
|
|
|
|
fn main() {
|
|
<Foo<&'static u32, &u32>>::m(&22);
|
|
}
|