| Patrik Kårlin | 9b5115f | 2023-02-28 18:13:21 | [diff] [blame] | 1 | trait Trait<'a> { |
| 2 | type Assoc; | ||||
| 3 | } | ||||
| 4 | |||||
| 5 | type Alias<'a, T> = <T as Trait<'a>>::Assoc; | ||||
| 6 | |||||
| 7 | fn bar<'a, T: Trait<'a>>(_: Alias<'a, 'a, T>) {} | ||||
| 8 | //~^ error: type alias takes 1 lifetime argument but 2 lifetime arguments were supplied | ||||