src/test/compile-fail/issue-23595-1.rs

   1 #![feature(associated_type_defaults)]
   2
   3 use std::ops::Index;
   4
   5 trait Hierarchy {
   6     type Value;
   7     type ChildKey;
   8     type Children = dyn Index<Self::ChildKey, Output=dyn Hierarchy>;
   9     //~^ ERROR: the value of the associated types
  10
  11     fn data(&self) -> Option<(Self::Value, Self::Children)>;
  12 }
  13
  14 fn main() {}