src/test/ui/associated-types/cache/elision.rs

   1 // Check that you are allowed to implement using elision but write
   2 // trait without elision (a bug in this cropped up during
   3 // bootstrapping, so this is a regression test).
   4
   5 // check-pass
   6
   7 pub struct SplitWhitespace<'a> {
   8     x: &'a u8
   9 }
  10
  11 pub trait UnicodeStr {
  12     fn split_whitespace<'a>(&'a self) -> SplitWhitespace<'a>;
  13 }
  14
  15 impl UnicodeStr for str {
  16     #[inline]
  17     fn split_whitespace(&self) -> SplitWhitespace {
  18         unimplemented!()
  19     }
  20 }
  21
  22
  23 fn main() { }