src/test/ui/generic-associated-types/issue-92280.rs

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