tests/ui/associated-types/issue-19081.rs

   1 // check-pass
   2 pub trait Hasher {
   3     type State;
   4
   5     fn hash<T: Hash<
   6         <Self as Hasher>::State
   7     >>(&self, value: &T) -> u64;
   8 }
   9
  10 pub trait Hash<S> {
  11     fn hash(&self, state: &mut S);
  12 }
  13
  14 fn main() {}