| //@ revisions: current next |
| //@ ignore-compare-mode-next-solver (explicit revisions) |
| //@[next] compile-flags: -Znext-solver |
| //@ check-pass |
| #![feature(specialization)] |
| |
| trait WithAssoc: 'static { |
| type Assoc; |
| } |
| impl<T: 'static> WithAssoc for (T,) { |
| type Assoc = (); |
| } |
| |
| struct GenericArray<U: WithAssoc>(U::Assoc); |
| |
| trait AbiExample { |
| fn example(); |
| } |
| impl<U: WithAssoc> AbiExample for GenericArray<U> { |
| fn example() {} |
| } |
| impl<T> AbiExample for T { |
| default fn example() {} |
| } |
| |
| fn main() { |
| let _ = GenericArray::<((),)>::example(); |
| } |
