diff options
| author | Michael Goulet <michael@errs.io> | 2025-01-22 20:13:36 +0000 |
|---|---|---|
| committer | Michael Goulet <michael@errs.io> | 2025-01-31 18:21:58 +0000 |
| commit | 304b3cfcb298c6bd6f7644ec3c78f28dd72eba1c (patch) | |
| tree | 8decd8ff3c6d7247a91d1537ae460656630b22a3 /tests/ui/diagnostic_namespace | |
| parent | d8b176f6836fa7efa0cdeb3488bceebbd5b219fb (diff) | |
| download | rust-304b3cfcb298c6bd6f7644ec3c78f28dd72eba1c.tar.gz rust-304b3cfcb298c6bd6f7644ec3c78f28dd72eba1c.zip | |
Manually walk into WF obligations in BestObligation proof tree visitor
Diffstat (limited to 'tests/ui/diagnostic_namespace')
| -rw-r--r-- | tests/ui/diagnostic_namespace/do_not_recommend/as_expression.next.stderr | 12 | ||||
| -rw-r--r-- | tests/ui/diagnostic_namespace/do_not_recommend/as_expression.rs | 4 |
2 files changed, 3 insertions, 13 deletions
diff --git a/tests/ui/diagnostic_namespace/do_not_recommend/as_expression.next.stderr b/tests/ui/diagnostic_namespace/do_not_recommend/as_expression.next.stderr index 1b76669ccb0..4f685c508c7 100644 --- a/tests/ui/diagnostic_namespace/do_not_recommend/as_expression.next.stderr +++ b/tests/ui/diagnostic_namespace/do_not_recommend/as_expression.next.stderr @@ -16,23 +16,13 @@ LL | where LL | T: AsExpression<Self::SqlType>, | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `Foo::check` -error[E0277]: the trait bound `&str: AsExpression<Integer>` is not satisfied - --> $DIR/as_expression.rs:55:15 - | -LL | SelectInt.check("bar"); - | ^^^^^ the trait `AsExpression<Integer>` is not implemented for `&str` - | - = help: the trait `AsExpression<Integer>` is not implemented for `&str` - but trait `AsExpression<Text>` is implemented for it - = help: for that trait implementation, expected `Text`, found `Integer` - error[E0271]: type mismatch resolving `<SelectInt as Expression>::SqlType == Text` --> $DIR/as_expression.rs:55:5 | LL | SelectInt.check("bar"); | ^^^^^^^^^^^^^^^^^^^^^^ expected `Text`, found `Integer` -error: aborting due to 3 previous errors +error: aborting due to 2 previous errors Some errors have detailed explanations: E0271, E0277. For more information about an error, try `rustc --explain E0271`. diff --git a/tests/ui/diagnostic_namespace/do_not_recommend/as_expression.rs b/tests/ui/diagnostic_namespace/do_not_recommend/as_expression.rs index 583b3c4675a..48c1ed2b02d 100644 --- a/tests/ui/diagnostic_namespace/do_not_recommend/as_expression.rs +++ b/tests/ui/diagnostic_namespace/do_not_recommend/as_expression.rs @@ -53,7 +53,7 @@ impl<T> Foo for T where T: Expression {} fn main() { SelectInt.check("bar"); - //~^ ERROR the trait bound `&str: AsExpression<Integer>` is not satisfied - //[next]~| the trait bound `&str: AsExpression<<SelectInt as Expression>::SqlType>` is not satisfied + //[current]~^ ERROR the trait bound `&str: AsExpression<Integer>` is not satisfied + //[next]~^^ the trait bound `&str: AsExpression<<SelectInt as Expression>::SqlType>` is not satisfied //[next]~| type mismatch } |