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 = Index<Self::ChildKey, Output=Hierarchy>;
   9     //~^ ERROR: the value of the associated types `Value` (from the trait `Hierarchy`), `ChildKey`
  10
  11     fn data(&self) -> Option<(Self::Value, Self::Children)>;
  12 }
  13
  14 fn main() {}