src/test/ui/issues/issue-87490.rs

   1 fn main() {}
   2 trait StreamOnce {
   3     type Position;
   4 }
   5 impl StreamOnce for &str {
   6     type Position = usize;
   7 }
   8 fn follow(_: &str) -> <&str as StreamOnce>::Position {
   9     String::new  //~ ERROR mismatched types
  10 }