mirror of https://github.com/rust-lang/rust
132 lines
4.8 KiB
Plaintext
132 lines
4.8 KiB
Plaintext
error[E0308]: mismatched types
|
|
--> $DIR/wrong-call-return-type-due-to-generic-arg.rs:18:28
|
|
|
|
|
LL | let x = wrong_arg_type(0u16);
|
|
| -------------- ^^^^ expected `u32`, found `u16`
|
|
| |
|
|
| arguments to this function are incorrect
|
|
|
|
|
note: function defined here
|
|
--> $DIR/wrong-call-return-type-due-to-generic-arg.rs:12:4
|
|
|
|
|
LL | fn wrong_arg_type(x: u32) -> u32 {
|
|
| ^^^^^^^^^^^^^^ ------
|
|
help: change the type of the numeric literal from `u16` to `u32`
|
|
|
|
|
LL | let x = wrong_arg_type(0u32);
|
|
| ~~~
|
|
|
|
error[E0308]: mismatched types
|
|
--> $DIR/wrong-call-return-type-due-to-generic-arg.rs:19:30
|
|
|
|
|
LL | let x: u16 = function(0, 0u8);
|
|
| -------- ^^^ expected `bool`, found `u8`
|
|
| |
|
|
| arguments to this function are incorrect
|
|
|
|
|
note: function defined here
|
|
--> $DIR/wrong-call-return-type-due-to-generic-arg.rs:1:4
|
|
|
|
|
LL | fn function<T>(x: T, y: bool) -> T {
|
|
| ^^^^^^^^ -------
|
|
|
|
error[E0308]: arguments to this function are incorrect
|
|
--> $DIR/wrong-call-return-type-due-to-generic-arg.rs:22:18
|
|
|
|
|
LL | let x: u16 = function(0u32, 0u8);
|
|
| ^^^^^^^^ ---- --- expected `bool`, found `u8`
|
|
| |
|
|
| expected `u16`, found `u32`
|
|
|
|
|
help: the return type of this call is `u32` due to the type of the argument passed
|
|
--> $DIR/wrong-call-return-type-due-to-generic-arg.rs:22:18
|
|
|
|
|
LL | let x: u16 = function(0u32, 0u8);
|
|
| ^^^^^^^^^----^^^^^^
|
|
| |
|
|
| this argument influences the return type of `function`
|
|
note: function defined here
|
|
--> $DIR/wrong-call-return-type-due-to-generic-arg.rs:1:4
|
|
|
|
|
LL | fn function<T>(x: T, y: bool) -> T {
|
|
| ^^^^^^^^ ---- -------
|
|
help: change the type of the numeric literal from `u32` to `u16`
|
|
|
|
|
LL | let x: u16 = function(0u16, 0u8);
|
|
| ~~~
|
|
|
|
error[E0308]: mismatched types
|
|
--> $DIR/wrong-call-return-type-due-to-generic-arg.rs:25:27
|
|
|
|
|
LL | let x: u16 = function(0u32, true);
|
|
| -------- ^^^^ expected `u16`, found `u32`
|
|
| |
|
|
| arguments to this function are incorrect
|
|
|
|
|
help: the return type of this call is `u32` due to the type of the argument passed
|
|
--> $DIR/wrong-call-return-type-due-to-generic-arg.rs:25:18
|
|
|
|
|
LL | let x: u16 = function(0u32, true);
|
|
| ^^^^^^^^^----^^^^^^^
|
|
| |
|
|
| this argument influences the return type of `function`
|
|
note: function defined here
|
|
--> $DIR/wrong-call-return-type-due-to-generic-arg.rs:1:4
|
|
|
|
|
LL | fn function<T>(x: T, y: bool) -> T {
|
|
| ^^^^^^^^ ----
|
|
help: change the type of the numeric literal from `u32` to `u16`
|
|
|
|
|
LL | let x: u16 = function(0u16, true);
|
|
| ~~~
|
|
|
|
error[E0308]: mismatched types
|
|
--> $DIR/wrong-call-return-type-due-to-generic-arg.rs:26:32
|
|
|
|
|
LL | let x: u16 = (S {}).method(0u32);
|
|
| ------ ^^^^ expected `u16`, found `u32`
|
|
| |
|
|
| arguments to this method are incorrect
|
|
|
|
|
help: the return type of this call is `u32` due to the type of the argument passed
|
|
--> $DIR/wrong-call-return-type-due-to-generic-arg.rs:26:18
|
|
|
|
|
LL | let x: u16 = (S {}).method(0u32);
|
|
| ^^^^^^^^^^^^^^----^
|
|
| |
|
|
| this argument influences the return type of `method`
|
|
note: method defined here
|
|
--> $DIR/wrong-call-return-type-due-to-generic-arg.rs:7:8
|
|
|
|
|
LL | fn method<T>(&self, x: T) -> T {
|
|
| ^^^^^^ ----
|
|
help: change the type of the numeric literal from `u32` to `u16`
|
|
|
|
|
LL | let x: u16 = (S {}).method(0u16);
|
|
| ~~~
|
|
|
|
error[E0308]: arguments to this function are incorrect
|
|
--> $DIR/wrong-call-return-type-due-to-generic-arg.rs:27:5
|
|
|
|
|
LL | function(0u32, 8u8)
|
|
| ^^^^^^^^ ---- --- expected `bool`, found `u8`
|
|
| |
|
|
| expected `()`, found `u32`
|
|
|
|
|
help: the return type of this call is `u32` due to the type of the argument passed
|
|
--> $DIR/wrong-call-return-type-due-to-generic-arg.rs:27:5
|
|
|
|
|
LL | function(0u32, 8u8)
|
|
| ^^^^^^^^^----^^^^^^
|
|
| |
|
|
| this argument influences the return type of `function`
|
|
note: function defined here
|
|
--> $DIR/wrong-call-return-type-due-to-generic-arg.rs:1:4
|
|
|
|
|
LL | fn function<T>(x: T, y: bool) -> T {
|
|
| ^^^^^^^^ ---- -------
|
|
|
|
error: aborting due to 6 previous errors
|
|
|
|
For more information about this error, try `rustc --explain E0308`.
|