Commits on Feb 19, 2017

1. Highlight and simplify mismatched types …

   Shorten mismatched types errors by replacing subtypes that are not
   different with `_`, and highlighting only the subtypes that are
   different.
   
   Given a file
   
   ```rust
   struct X<T1, T2> {
       x: T1,
       y: T2,
   }
   
   fn foo() -> X<X<String, String>, String> {
       X { x: X {x: "".to_string(), y: 2}, y: "".to_string()}
   }
   
   fn bar() -> Option<String> {
       "".to_string()
   }
   ```
   
   provide the following output
   
   ```rust
   error[E0308]: mismatched types
     --> file.rs:6:5
      |
    6 |     X { x: X {x: "".to_string(), y: 2}, y: "".to_string()}
      |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected struct `std::string::String`, found {integer}
      |
      = note: expected type `X<X<_, std::string::String>, _>`
                                    ^^^^^^^^^^^^^^^^^^^^  // < highlighted
                 found type `X<X<_, {integer}>, _>`
                                    ^^^^^^^^^             // < highlighted
   
   error[E0308]: mismatched types
     --> file.rs:6:5
      |
   10 |     "".to_string()
      |     ^^^^^^^^^^^^^^ expected struct `std::option::Option`, found `std::string::String`
      |
      = note: expected type `Option<std::string::String>`
                             ^^^^^^^                   ^  // < highlighted
                 found type `std::string::String`
   ```

   

   estebank committed Feb 19, 2017
   Configuration menu

   • View commit details
   • Copy full SHA for 5ce2d15
   • Browse repository at this point

   Copy the full SHA

   5ce2d15 View commit details

   Browse the repository at this point in the history