blob: 998f61a6bd32de6a57b76889fe3b9ed09e14ee2a [file] [log] [blame] [edit]
fn main() {}
trait StreamOnce {
type Position;
}
impl StreamOnce for &str {
type Position = usize;
}
fn follow(_: &str) -> <&str as StreamOnce>::Position {
String::new //~ ERROR mismatched types
}