tests/ui/generic-associated-types/issue-92280.rs

   1 // check-pass
   2
   3 #![allow(non_camel_case_types)]
   4
   5 trait HasAssoc {
   6     type Assoc;
   7 }
   8
   9 trait Iterate<S: HasAssoc> {
  10     type Iter<'a>
  11     where
  12         Self: 'a;
  13 }
  14
  15 struct KeySegment_Broken<T> {
  16     key: T,
  17 }
  18 impl<S: HasAssoc> Iterate<S> for KeySegment_Broken<S::Assoc> {
  19     type Iter<'a> = ()
  20     where
  21         Self: 'a;
  22 }
  23
  24 fn main() {}