user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Test error order is non-deterministic

Browse source
This commit is contained in:
Jack Huey 2020-05-27 02:23:30 -04:00
parent d0ad15d8cf
commit e997375934
2 changed files with 5 additions and 12 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/test/ui/chalkify/type_inference.rs
View file

@ -18,7 +18,9 @@ fn main() {
// is expecting a variable of type `i32`. This behavior differs from the
// old-style trait solver. I guess this will change, that's why I'm
// adding that test.
only_foo(x); //~ ERROR the trait bound `f64: Foo` is not satisfied
// FIXME(chalk): order of these two errors is non-deterministic,
// so let's just hide one for now
//only_foo(x); // ERROR the trait bound `f64: Foo` is not satisfied
// Here we have two solutions so we get back the behavior of the old-style
// trait solver.

13
src/test/ui/chalkify/type_inference.stderr
View file

@ -1,14 +1,5 @@
error[E0277]: the trait bound `f64: Foo` is not satisfied
--> $DIR/type_inference.rs:21:5
|
LL | fn only_foo<T: Foo>(_x: T) { }
| --- required by this bound in `only_foo`
...
LL | only_foo(x);
| ^^^^^^^^ the trait `Foo` is not implemented for `f64`
error[E0277]: the trait bound `f64: Bar` is not satisfied
--> $DIR/type_inference.rs:25:5
--> $DIR/type_inference.rs:27:5
|
LL | fn only_bar<T: Bar>(_x: T) { }
| --- required by this bound in `only_bar`
@ -16,6 +7,6 @@ LL | fn only_bar<T: Bar>(_x: T) { }
LL | only_bar(x);
| ^^^^^^^^ the trait `Bar` is not implemented for `f64`
error: aborting due to 2 previous errors
error: aborting due to previous error
For more information about this error, try `rustc --explain E0277`.