07e7823c01
If a symbol name can only be imported from one place for a type, and as long as it was not glob-imported anywhere in the current crate, we can trim its printed path and print only the name. This has wide implications on error messages with types, for example, shortening `std::vec::Vec` to just `Vec`, as long as there is no other `Vec` importable anywhere. This adds a new '-Z trim-diagnostic-paths=false' option to control this feature. On the good path, with no diagnosis printed, we should try to avoid issuing this query, so we need to prevent trimmed_def_paths query on several cases. This change also relies on a previous commit that differentiates between `Debug` and `Display` on various rustc types, where the latter is trimmed and presented to the user and the former is not.
82 lines
7.5 KiB
Text
82 lines
7.5 KiB
Text
{"message":"mismatched types","code":{"code":"E0308","explanation":"Expected type did not match the received type.
|
|
|
|
Erroneous code example:
|
|
|
|
```compile_fail,E0308
|
|
let x: i32 = \"I am not a number!\";
|
|
// ~~~ ~~~~~~~~~~~~~~~~~~~~
|
|
// | |
|
|
// | initializing expression;
|
|
// | compiler infers type `&str`
|
|
// |
|
|
// type `i32` assigned to variable `x`
|
|
```
|
|
|
|
This error occurs when the compiler is unable to infer the concrete type of a
|
|
variable. It can occur in several cases, the most common being a mismatch
|
|
between two types: the type the author explicitly assigned, and the type the
|
|
compiler inferred.
|
|
"},"level":"error","spans":[{"file_name":"$DIR/json-bom-plus-crlf.rs","byte_start":606,"byte_end":607,"line_start":16,"line_end":16,"column_start":22,"column_end":23,"is_primary":true,"text":[{"text":" let s : String = 1; // Error in the middle of line.","highlight_start":22,"highlight_end":23}],"label":"expected struct `String`, found integer","suggested_replacement":null,"suggestion_applicability":null,"expansion":null},{"file_name":"$DIR/json-bom-plus-crlf.rs","byte_start":597,"byte_end":603,"line_start":16,"line_end":16,"column_start":13,"column_end":19,"is_primary":false,"text":[{"text":" let s : String = 1; // Error in the middle of line.","highlight_start":13,"highlight_end":19}],"label":"expected due to this","suggested_replacement":null,"suggestion_applicability":null,"expansion":null}],"children":[{"message":"try using a conversion method","code":null,"level":"help","spans":[{"file_name":"$DIR/json-bom-plus-crlf.rs","byte_start":606,"byte_end":607,"line_start":16,"line_end":16,"column_start":22,"column_end":23,"is_primary":true,"text":[{"text":" let s : String = 1; // Error in the middle of line.","highlight_start":22,"highlight_end":23}],"label":null,"suggested_replacement":"1.to_string()","suggestion_applicability":"MaybeIncorrect","expansion":null}],"children":[],"rendered":null}],"rendered":"$DIR/json-bom-plus-crlf.rs:16:22: error[E0308]: mismatched types
|
|
"}
|
|
{"message":"mismatched types","code":{"code":"E0308","explanation":"Expected type did not match the received type.
|
|
|
|
Erroneous code example:
|
|
|
|
```compile_fail,E0308
|
|
let x: i32 = \"I am not a number!\";
|
|
// ~~~ ~~~~~~~~~~~~~~~~~~~~
|
|
// | |
|
|
// | initializing expression;
|
|
// | compiler infers type `&str`
|
|
// |
|
|
// type `i32` assigned to variable `x`
|
|
```
|
|
|
|
This error occurs when the compiler is unable to infer the concrete type of a
|
|
variable. It can occur in several cases, the most common being a mismatch
|
|
between two types: the type the author explicitly assigned, and the type the
|
|
compiler inferred.
|
|
"},"level":"error","spans":[{"file_name":"$DIR/json-bom-plus-crlf.rs","byte_start":666,"byte_end":667,"line_start":18,"line_end":18,"column_start":22,"column_end":23,"is_primary":true,"text":[{"text":" let s : String = 1","highlight_start":22,"highlight_end":23}],"label":"expected struct `String`, found integer","suggested_replacement":null,"suggestion_applicability":null,"expansion":null},{"file_name":"$DIR/json-bom-plus-crlf.rs","byte_start":657,"byte_end":663,"line_start":18,"line_end":18,"column_start":13,"column_end":19,"is_primary":false,"text":[{"text":" let s : String = 1","highlight_start":13,"highlight_end":19}],"label":"expected due to this","suggested_replacement":null,"suggestion_applicability":null,"expansion":null}],"children":[{"message":"try using a conversion method","code":null,"level":"help","spans":[{"file_name":"$DIR/json-bom-plus-crlf.rs","byte_start":666,"byte_end":667,"line_start":18,"line_end":18,"column_start":22,"column_end":23,"is_primary":true,"text":[{"text":" let s : String = 1","highlight_start":22,"highlight_end":23}],"label":null,"suggested_replacement":"1.to_string()","suggestion_applicability":"MaybeIncorrect","expansion":null}],"children":[],"rendered":null}],"rendered":"$DIR/json-bom-plus-crlf.rs:18:22: error[E0308]: mismatched types
|
|
"}
|
|
{"message":"mismatched types","code":{"code":"E0308","explanation":"Expected type did not match the received type.
|
|
|
|
Erroneous code example:
|
|
|
|
```compile_fail,E0308
|
|
let x: i32 = \"I am not a number!\";
|
|
// ~~~ ~~~~~~~~~~~~~~~~~~~~
|
|
// | |
|
|
// | initializing expression;
|
|
// | compiler infers type `&str`
|
|
// |
|
|
// type `i32` assigned to variable `x`
|
|
```
|
|
|
|
This error occurs when the compiler is unable to infer the concrete type of a
|
|
variable. It can occur in several cases, the most common being a mismatch
|
|
between two types: the type the author explicitly assigned, and the type the
|
|
compiler inferred.
|
|
"},"level":"error","spans":[{"file_name":"$DIR/json-bom-plus-crlf.rs","byte_start":730,"byte_end":731,"line_start":22,"line_end":22,"column_start":1,"column_end":2,"is_primary":true,"text":[{"text":"1; // Error after the newline.","highlight_start":1,"highlight_end":2}],"label":"expected struct `String`, found integer","suggested_replacement":null,"suggestion_applicability":null,"expansion":null},{"file_name":"$DIR/json-bom-plus-crlf.rs","byte_start":720,"byte_end":726,"line_start":21,"line_end":21,"column_start":13,"column_end":19,"is_primary":false,"text":[{"text":" let s : String =","highlight_start":13,"highlight_end":19}],"label":"expected due to this","suggested_replacement":null,"suggestion_applicability":null,"expansion":null}],"children":[{"message":"try using a conversion method","code":null,"level":"help","spans":[{"file_name":"$DIR/json-bom-plus-crlf.rs","byte_start":730,"byte_end":731,"line_start":22,"line_end":22,"column_start":1,"column_end":2,"is_primary":true,"text":[{"text":"1; // Error after the newline.","highlight_start":1,"highlight_end":2}],"label":null,"suggested_replacement":"1.to_string()","suggestion_applicability":"MaybeIncorrect","expansion":null}],"children":[],"rendered":null}],"rendered":"$DIR/json-bom-plus-crlf.rs:22:1: error[E0308]: mismatched types
|
|
"}
|
|
{"message":"mismatched types","code":{"code":"E0308","explanation":"Expected type did not match the received type.
|
|
|
|
Erroneous code example:
|
|
|
|
```compile_fail,E0308
|
|
let x: i32 = \"I am not a number!\";
|
|
// ~~~ ~~~~~~~~~~~~~~~~~~~~
|
|
// | |
|
|
// | initializing expression;
|
|
// | compiler infers type `&str`
|
|
// |
|
|
// type `i32` assigned to variable `x`
|
|
```
|
|
|
|
This error occurs when the compiler is unable to infer the concrete type of a
|
|
variable. It can occur in several cases, the most common being a mismatch
|
|
between two types: the type the author explicitly assigned, and the type the
|
|
compiler inferred.
|
|
"},"level":"error","spans":[{"file_name":"$DIR/json-bom-plus-crlf.rs","byte_start":786,"byte_end":794,"line_start":24,"line_end":25,"column_start":22,"column_end":6,"is_primary":true,"text":[{"text":" let s : String = (","highlight_start":22,"highlight_end":23},{"text":" ); // Error spanning the newline.","highlight_start":1,"highlight_end":6}],"label":"expected struct `String`, found `()`","suggested_replacement":null,"suggestion_applicability":null,"expansion":null},{"file_name":"$DIR/json-bom-plus-crlf.rs","byte_start":777,"byte_end":783,"line_start":24,"line_end":24,"column_start":13,"column_end":19,"is_primary":false,"text":[{"text":" let s : String = (","highlight_start":13,"highlight_end":19}],"label":"expected due to this","suggested_replacement":null,"suggestion_applicability":null,"expansion":null}],"children":[],"rendered":"$DIR/json-bom-plus-crlf.rs:24:22: error[E0308]: mismatched types
|
|
"}
|
|
{"message":"aborting due to 4 previous errors","code":null,"level":"error","spans":[],"children":[],"rendered":"error: aborting due to 4 previous errors
|
|
"}
|