1 error: higher-ranked subtype error
2 --> $DIR/issue-54302-cases.rs:63:5
4 LL | <u32 as RefFoo<u32>>::ref_foo(a)
5 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
7 error: higher-ranked subtype error
8 --> $DIR/issue-54302-cases.rs:69:5
10 LL | <i32 as RefFoo<i32>>::ref_foo(a)
11 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
13 error: higher-ranked subtype error
14 --> $DIR/issue-54302-cases.rs:75:5
16 LL | <u64 as RefFoo<u64>>::ref_foo(a)
17 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
19 error: higher-ranked subtype error
20 --> $DIR/issue-54302-cases.rs:81:5
22 LL | <i64 as RefFoo<i64>>::ref_foo(a)
23 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
25 error: aborting due to 4 previous errors