diff options
| author | Michael Goulet <michael@errs.io> | 2025-04-09 17:25:46 +0000 |
|---|---|---|
| committer | Michael Goulet <michael@errs.io> | 2025-04-10 18:58:04 +0000 |
| commit | decd7ecd1e3640c4bada4f4a3de411a8d507d40c (patch) | |
| tree | e218ae1fdda6480bd5f7dc015d4966c01febfb8b /tests/ui/diagnostic_namespace | |
| parent | 62d5fb85ac64f034f031423cb747cf57ee14a048 (diff) | |
| download | rust-decd7ecd1e3640c4bada4f4a3de411a8d507d40c.tar.gz rust-decd7ecd1e3640c4bada4f4a3de411a8d507d40c.zip | |
Deeply normalize obligations in BestObligation
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 | 3 |
2 files changed, 8 insertions, 7 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 90bb715a052..6170250992c 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 @@ -1,12 +1,14 @@ -error[E0277]: the trait bound `&str: AsExpression<<SelectInt as Expression>::SqlType>` is not satisfied +error[E0277]: the trait bound `&str: AsExpression<Integer>` is not satisfied --> $DIR/as_expression.rs:56:21 | LL | SelectInt.check("bar"); - | ----- ^^^^^ the trait `AsExpression<<SelectInt as Expression>::SqlType>` is not implemented for `&str` + | ----- ^^^^^ the trait `AsExpression<Integer>` is not implemented for `&str` | | | required by a bound introduced by this call | - = help: the trait `AsExpression<Text>` is 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` note: required by a bound in `Foo::check` --> $DIR/as_expression.rs:47:12 | @@ -16,11 +18,11 @@ LL | where LL | T: AsExpression<Self::SqlType>, | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `Foo::check` -error[E0271]: type mismatch resolving `<SelectInt as Expression>::SqlType == Text` +error[E0271]: type mismatch resolving `Integer == Text` --> $DIR/as_expression.rs:56:5 | LL | SelectInt.check("bar"); - | ^^^^^^^^^^^^^^^^^^^^^^ expected `Text`, found `Integer` + | ^^^^^^^^^^^^^^^^^^^^^^ types differ error: aborting due to 2 previous errors 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 b5ff76809a2..673adb82870 100644 --- a/tests/ui/diagnostic_namespace/do_not_recommend/as_expression.rs +++ b/tests/ui/diagnostic_namespace/do_not_recommend/as_expression.rs @@ -54,7 +54,6 @@ impl<T> Foo for T where T: Expression {} fn main() { SelectInt.check("bar"); - //[current]~^ ERROR the trait bound `&str: AsExpression<Integer>` is not satisfied - //[next]~^^ ERROR the trait bound `&str: AsExpression<<SelectInt as Expression>::SqlType>` is not satisfied + //~^ ERROR the trait bound `&str: AsExpression<Integer>` is not satisfied //[next]~| ERROR type mismatch } |