time(sess, "layout testing", || layout_test::test_layout(tcx));
// Avoid overwhelming user with errors if borrow checking failed.
- // I'm not sure how helpful this is, to be honest, but it avoids
- // a
+ // I'm not sure how helpful this is, to be honest, but it avoids a
// lot of annoying errors in the compile-fail tests (basically,
// lint warnings and so on -- kindck used to do this abort, but
// kindck is gone now). -nmatsakis
time(tcx.sess, "wf checking", || check::check_wf_new(tcx))?;
time(tcx.sess, "item-types checking", || {
- tcx.sess.track_errors(|| {
- for &module in tcx.hir().krate().modules.keys() {
- tcx.ensure().check_mod_item_types(tcx.hir().local_def_id(module));
- }
- })
- })?;
+ for &module in tcx.hir().krate().modules.keys() {
+ tcx.ensure().check_mod_item_types(tcx.hir().local_def_id(module));
+ }
+ });
time(tcx.sess, "item-bodies checking", || tcx.typeck_item_bodies(LOCAL_CRATE));
extern "C" fn bar(f: isize, x: u8) {}
fn main() {
- // errors below are no longer checked because error above aborts
- // compilation; see variadic-ffi-3.rs for corresponding test.
unsafe {
- foo();
- foo(1);
+ foo(); //~ ERROR this function takes at least 2 parameters but 0 parameters were supplied
+ foo(1); //~ ERROR this function takes at least 2 parameters but 1 parameter was supplied
- let x: unsafe extern "C" fn(f: isize, x: u8) = foo;
- let y: extern "C" fn(f: isize, x: u8, ...) = bar;
+ let x: unsafe extern "C" fn(f: isize, x: u8) = foo; //~ ERROR mismatched types
+ let y: extern "C" fn(f: isize, x: u8, ...) = bar; //~ ERROR mismatched types
- foo(1, 2, 3f32);
- foo(1, 2, true);
- foo(1, 2, 1i8);
- foo(1, 2, 1u8);
- foo(1, 2, 1i16);
- foo(1, 2, 1u16);
+ foo(1, 2, 3f32); //~ ERROR can't pass
+ foo(1, 2, true); //~ ERROR can't pass
+ foo(1, 2, 1i8); //~ ERROR can't pass
+ foo(1, 2, 1u8); //~ ERROR can't pass
+ foo(1, 2, 1i16); //~ ERROR can't pass
+ foo(1, 2, 1u16); //~ ERROR can't pass
}
}
LL | fn printf(_: *const u8, ...);
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ C-variadics require C or cdecl calling convention
-error: aborting due to previous error
+error[E0060]: this function takes at least 2 parameters but 0 parameters were supplied
+ --> $DIR/variadic-ffi-1.rs:16:9
+ |
+LL | fn foo(f: isize, x: u8, ...);
+ | ----------------------------- defined here
+...
+LL | foo();
+ | ^^^^^ expected at least 2 parameters
+
+error[E0060]: this function takes at least 2 parameters but 1 parameter was supplied
+ --> $DIR/variadic-ffi-1.rs:17:9
+ |
+LL | fn foo(f: isize, x: u8, ...);
+ | ----------------------------- defined here
+...
+LL | foo(1);
+ | ^^^^^^ expected at least 2 parameters
+
+error[E0308]: mismatched types
+ --> $DIR/variadic-ffi-1.rs:19:56
+ |
+LL | let x: unsafe extern "C" fn(f: isize, x: u8) = foo;
+ | ^^^ expected non-variadic fn, found variadic function
+ |
+ = note: expected type `unsafe extern "C" fn(isize, u8)`
+ found type `for<'r> unsafe extern "C" fn(isize, u8, std::ffi::VaList<'r>, ...) {foo}`
+
+error[E0308]: mismatched types
+ --> $DIR/variadic-ffi-1.rs:20:54
+ |
+LL | let y: extern "C" fn(f: isize, x: u8, ...) = bar;
+ | ^^^ expected variadic fn, found non-variadic function
+ |
+ = note: expected type `for<'r> extern "C" fn(isize, u8, std::ffi::VaList<'r>, ...)`
+ found type `extern "C" fn(isize, u8) {bar}`
+
+error[E0617]: can't pass `f32` to variadic function
+ --> $DIR/variadic-ffi-1.rs:22:19
+ |
+LL | foo(1, 2, 3f32);
+ | ^^^^ help: cast the value to `c_double`: `3f32 as c_double`
+
+error[E0617]: can't pass `bool` to variadic function
+ --> $DIR/variadic-ffi-1.rs:23:19
+ |
+LL | foo(1, 2, true);
+ | ^^^^ help: cast the value to `c_int`: `true as c_int`
+
+error[E0617]: can't pass `i8` to variadic function
+ --> $DIR/variadic-ffi-1.rs:24:19
+ |
+LL | foo(1, 2, 1i8);
+ | ^^^ help: cast the value to `c_int`: `1i8 as c_int`
+
+error[E0617]: can't pass `u8` to variadic function
+ --> $DIR/variadic-ffi-1.rs:25:19
+ |
+LL | foo(1, 2, 1u8);
+ | ^^^ help: cast the value to `c_uint`: `1u8 as c_uint`
+
+error[E0617]: can't pass `i16` to variadic function
+ --> $DIR/variadic-ffi-1.rs:26:19
+ |
+LL | foo(1, 2, 1i16);
+ | ^^^^ help: cast the value to `c_int`: `1i16 as c_int`
+
+error[E0617]: can't pass `u16` to variadic function
+ --> $DIR/variadic-ffi-1.rs:27:19
+ |
+LL | foo(1, 2, 1u16);
+ | ^^^^ help: cast the value to `c_uint`: `1u16 as c_uint`
+
+error: aborting due to 11 previous errors
-For more information about this error, try `rustc --explain E0045`.
+Some errors have detailed explanations: E0045, E0060, E0308, E0617.
+For more information about an error, try `rustc --explain E0045`.
impl Get for i32 {
fn foo(&self, x: &u32, y: &'a u32) -> &'a u32 { //~ ERROR cannot infer
- x
+ x //~ ERROR lifetime mismatch
}
}
expected fn(&i32, &'a u32, &u32) -> &'a u32
found fn(&i32, &u32, &u32) -> &u32
-error: aborting due to previous error
+error[E0623]: lifetime mismatch
+ --> $DIR/mismatched_trait_impl.rs:10:9
+ |
+LL | fn foo(&self, x: &u32, y: &'a u32) -> &'a u32 {
+ | ---- -------
+ | |
+ | this parameter and the return type are declared with different lifetimes...
+LL | x
+ | ^ ...but data from `x` is returned here
+
+error: aborting due to 2 previous errors
enum MList { Cons(isize, MList), Nil }
//~^ ERROR recursive type `MList` has infinite size
+//~| ERROR cycle detected when processing `MList`
fn main() { let a = MList::Cons(10, MList::Cons(11, MList::Nil)); }
|
= help: insert indirection (e.g., a `Box`, `Rc`, or `&`) at some point to make `MList` representable
-error: aborting due to previous error
+error[E0391]: cycle detected when processing `MList`
+ --> $DIR/infinite-tag-type-recursion.rs:1:1
+ |
+LL | enum MList { Cons(isize, MList), Nil }
+ | ^^^^^^^^^^
+ |
+ = note: ...which again requires processing `MList`, completing the cycle
+ = note: cycle used when computing dropck types for `Canonical { max_universe: U0, variables: [], value: ParamEnvAnd { param_env: ParamEnv { caller_bounds: [], reveal: UserFacing, def_id: None }, value: MList } }`
+
+error: aborting due to 2 previous errors
-For more information about this error, try `rustc --explain E0072`.
+Some errors have detailed explanations: E0072, E0391.
+For more information about an error, try `rustc --explain E0072`.
//~^ ERROR E0195
//~| NOTE lifetimes do not match method in trait
return *self as T;
+ //~^ ERROR non-primitive cast: `Foo<'a>` as `T`
+ //~| NOTE an `as` expression can only be used to convert between primitive types.
}
}
LL | fn get<'p, T : Test<'a>>(&self) -> T {
| ^^^^^^^^^^^^^^^^^^ lifetimes do not match method in trait
-error: aborting due to previous error
+error[E0605]: non-primitive cast: `Foo<'a>` as `T`
+ --> $DIR/issue-16048.rs:24:16
+ |
+LL | return *self as T;
+ | ^^^^^^^^^^
+ |
+ = note: an `as` expression can only be used to convert between primitive types. Consider using the `From` trait
+
+error: aborting due to 2 previous errors
-For more information about this error, try `rustc --explain E0195`.
+Some errors have detailed explanations: E0195, E0605.
+For more information about an error, try `rustc --explain E0195`.
#[test]
fn can_parse_zero_as_f32() -> Result<f32, ParseIntError> { //~ ERROR
- "0".parse()
+ "0".parse() //~ ERROR type mismatch resolving
}
= help: the trait `std::process::Termination` is not implemented for `std::result::Result<f32, std::num::ParseIntError>`
= note: required by `test::assert_test_result`
-error: aborting due to previous error
+error[E0271]: type mismatch resolving `<f32 as std::str::FromStr>::Err == std::num::ParseIntError`
+ --> $DIR/termination-trait-test-wrong-type.rs:7:9
+ |
+LL | "0".parse()
+ | ^^^^^ expected struct `std::num::ParseFloatError`, found struct `std::num::ParseIntError`
+ |
+ = note: expected type `std::num::ParseFloatError`
+ found type `std::num::ParseIntError`
+
+error: aborting due to 2 previous errors
-For more information about this error, try `rustc --explain E0277`.
+Some errors have detailed explanations: E0271, E0277.
+For more information about an error, try `rustc --explain E0271`.
fn main() {
let b = Bar { x: 5 };
- // errors below are no longer caught since error above causes
- // compilation to abort before we bother checking function bodies.
- // See also struct-base-wrong-type-2.rs, which checks that we
- // would catch these errors eventually.
- let f = Foo { a: 2, ..b };
- let f__isize = Foo { a: 2, ..4 };
+ // See also struct-base-wrong-type-2.rs, which checks these errors on isolation.
+ let f = Foo { a: 2, ..b }; //~ ERROR mismatched types
+ let f__isize = Foo { a: 2, ..4 }; //~ ERROR mismatched types
}
= note: expected type `Foo`
found type `{integer}`
-error: aborting due to 2 previous errors
+error[E0308]: mismatched types
+ --> $DIR/struct-base-wrong-type.rs:22:27
+ |
+LL | let f = Foo { a: 2, ..b };
+ | ^ expected struct `Foo`, found struct `Bar`
+ |
+ = note: expected type `Foo`
+ found type `Bar`
+
+error[E0308]: mismatched types
+ --> $DIR/struct-base-wrong-type.rs:23:34
+ |
+LL | let f__isize = Foo { a: 2, ..4 };
+ | ^ expected struct `Foo`, found integer
+ |
+ = note: expected type `Foo`
+ found type `{integer}`
+
+error: aborting due to 4 previous errors
For more information about this error, try `rustc --explain E0308`.
let x: Vec1 = Vec1 { x: 1.0 } * 2.0; // this is OK
let x: Vec2 = Vec2 { x: 1.0, y: 2.0 } * 2.0; // trait had reversed order
- // (we no longer signal a compile error here, since the
- // error in the trait signature will cause compilation to
- // abort before we bother looking at function bodies.)
+ //~^ ERROR mismatched types
+ //~| ERROR mismatched types
let x: i32 = Vec3 { x: 1.0, y: 2.0, z: 3.0 } * 2.0;
}
= note: expected type `fn(Vec3, f64) -> i32`
found type `fn(Vec3, f64) -> f64`
-error: aborting due to 3 previous errors
+error[E0308]: mismatched types
+ --> $DIR/wrong-mul-method-signature.rs:63:45
+ |
+LL | let x: Vec2 = Vec2 { x: 1.0, y: 2.0 } * 2.0; // trait had reversed order
+ | ^^^ expected struct `Vec2`, found floating-point number
+ |
+ = note: expected type `Vec2`
+ found type `{float}`
+
+error[E0308]: mismatched types
+ --> $DIR/wrong-mul-method-signature.rs:63:19
+ |
+LL | let x: Vec2 = Vec2 { x: 1.0, y: 2.0 } * 2.0; // trait had reversed order
+ | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected struct `Vec2`, found f64
+ |
+ = note: expected type `Vec2`
+ found type `f64`
+
+error: aborting due to 5 previous errors
-For more information about this error, try `rustc --explain E0053`.
+Some errors have detailed explanations: E0053, E0308.
+For more information about an error, try `rustc --explain E0053`.