// compile-pass | |
// skip-codegen | |
#![allow(warnings)] | |
// Check that you are allowed to implement using elision but write | |
// trait without elision (a bug in this cropped up during | |
// bootstrapping, so this is a regression test). | |
pub struct SplitWhitespace<'a> { | |
x: &'a u8 | |
} | |
pub trait UnicodeStr { | |
fn split_whitespace<'a>(&'a self) -> SplitWhitespace<'a>; | |
} | |
impl UnicodeStr for str { | |
#[inline] | |
fn split_whitespace(&self) -> SplitWhitespace { | |
unimplemented!() | |
} | |
} | |
fn main() { } |