src/test/ui/issues/issue-19081.rs

   1 // build-pass (FIXME(62277): could be 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() {}