Skip to content

Commit cf2cf0e

Browse files
lcnrlcnr
committed
update diagnostics
1 parent d2c0c50 commit cf2cf0e

17 files changed

+152
-56
lines changed

‎compiler/rustc_trait_selection/src/error_reporting/traits/fulfillment_errors.rs‎

Lines changed: 5 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -61,7 +61,6 @@ impl<'a, 'tcx> TypeErrCtxt<'a, 'tcx> {
6161
let tcx = self.tcx;
6262
let mut span = obligation.cause.span;
6363
let mut long_ty_file = None;
64-
6564
let mut err = match *error {
6665
SelectionError::Unimplemented => {
6766
// If this obligation was generated as a result of well-formedness checking, see if we
@@ -585,6 +584,10 @@ impl<'a, 'tcx> TypeErrCtxt<'a, 'tcx> {
585584
ty::PredicateKind::Clause(ty::ClauseKind::WellFormed(ty)) => {
586585
let ty = self.resolve_vars_if_possible(ty);
587586
if self.next_trait_solver() {
587+
if let Err(guar) = ty.error_reported() {
588+
return guar;
589+
}
590+
588591
// FIXME: we'll need a better message which takes into account
589592
// which bounds actually failed to hold.
590593
self.dcx().struct_span_err(
@@ -1201,6 +1204,7 @@ impl<'a, 'tcx> TypeErrCtxt<'a, 'tcx> {
12011204
}
12021205

12031206
impl<'a, 'tcx> TypeErrCtxt<'a, 'tcx> {
1207+
#[instrument(level = "trace", skip(self), ret)]
12041208
fn can_match_trait(
12051209
&self,
12061210
goal: ty::TraitPredicate<'tcx>,

‎compiler/rustc_trait_selection/src/error_reporting/traits/mod.rs‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -172,8 +172,8 @@ impl<'a, 'tcx> TypeErrCtxt<'a, 'tcx> {
172172
{
173173
1
174174
}
175-
ty::PredicateKind::Clause(ty::ClauseKind::WellFormed(_)) => 3,
176175
ty::PredicateKind::Coerce(_) => 2,
176+
ty::PredicateKind::Clause(ty::ClauseKind::WellFormed(_)) => 3,
177177
_ => 0,
178178
});
179179

‎compiler/rustc_trait_selection/src/infer.rs‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -19,6 +19,7 @@ use crate::traits::{self, Obligation, ObligationCause, ObligationCtxt, Selection
1919

2020
#[extension(pub trait InferCtxtExt<'tcx>)]
2121
impl<'tcx> InferCtxt<'tcx> {
22+
#[instrument(level = "trace", skip(self), ret)]
2223
fn can_eq<T: ToTrace<'tcx>>(&self, param_env: ty::ParamEnv<'tcx>, a: T, b: T) -> bool {
2324
self.probe(|_| {
2425
let ocx = ObligationCtxt::new(self);

‎compiler/rustc_trait_selection/src/solve/fulfill/derive_errors.rs‎

Lines changed: 34 additions & 11 deletions
Original file line numberDiff line numberDiff line change
@@ -11,7 +11,7 @@ use rustc_middle::ty::{self, TyCtxt};
1111
use rustc_middle::{bug, span_bug};
1212
use rustc_next_trait_solver::solve::{GenerateProofTree, SolverDelegateEvalExt as _};
1313
use rustc_type_ir::solve::{Goal, NoSolution};
14-
use tracing::{instrument, trace};
14+
use tracing::{debug, instrument, trace};
1515

1616
use crate::solve::Certainty;
1717
use crate::solve::delegate::SolverDelegate;
@@ -139,6 +139,7 @@ pub(super) fn fulfillment_error_for_overflow<'tcx>(
139139
}
140140
}
141141

142+
#[instrument(level = "debug", skip(infcx), ret)]
142143
fn find_best_leaf_obligation<'tcx>(
143144
infcx: &InferCtxt<'tcx>,
144145
obligation: &PredicateObligation<'tcx>,
@@ -189,6 +190,7 @@ impl<'tcx> BestObligation<'tcx> {
189190
goal: &'a inspect::InspectGoal<'a, 'tcx>,
190191
) -> Vec<inspect::InspectCandidate<'a, 'tcx>> {
191192
let mut candidates = goal.candidates();
193+
debug!(candidates = ?candidates.iter().map(|c| (c.kind(), c.result())).collect::<Vec<_>>());
192194
match self.consider_ambiguities {
193195
true => {
194196
// If we have an ambiguous obligation, we must consider *all* candidates
@@ -211,11 +213,7 @@ impl<'tcx> BestObligation<'tcx> {
211213
| GoalSource::AliasBoundConstCondition
212214
| GoalSource::InstantiateHigherRanked
213215
| GoalSource::AliasWellFormed
214-
) && match (self.consider_ambiguities, nested_goal.result()) {
215-
(true, Ok(Certainty::Maybe(MaybeCause::Ambiguity)))
216-
| (false, Err(_)) => true,
217-
_ => false,
218-
}
216+
) && nested_goal.result().is_err()
219217
},
220218
)
221219
})
@@ -277,11 +275,37 @@ impl<'tcx> ProofTreeVisitor<'tcx> for BestObligation<'tcx> {
277275

278276
#[instrument(level = "trace", skip(self, goal), fields(goal = ?goal.goal()))]
279277
fn visit_goal(&mut self, goal: &inspect::InspectGoal<'_, 'tcx>) -> Self::Result {
278+
let tcx = goal.infcx().tcx;
279+
let pred_kind = goal.goal().predicate.kind();
280+
280281
let candidates = self.non_trivial_candidates(goal);
281-
trace!(candidates = ?candidates.iter().map(|c| c.kind()).collect::<Vec<_>>());
282+
let candidate = match candidates.as_slice() {
283+
[] => {
284+
// Similar to `AliasRelate` goals, `NormalizesTo` may fail because the
285+
// used alias is not well-formed. We only enter an actual `RigidAlias`
286+
// candidate if its trait bound was proven via the environment. We therefore
287+
// manually check whether the alias is even well-formed here.
288+
if let Some(ty::PredicateKind::NormalizesTo(pred)) = pred_kind.no_bound_vars() {
289+
if let Some(obligation) = goal
290+
.infcx()
291+
.visit_proof_tree_at_depth(
292+
goal.goal().with(
293+
goal.infcx().tcx,
294+
ty::ClauseKind::WellFormed(pred.alias.to_term(tcx).into()),
295+
),
296+
goal.depth() + 1,
297+
self,
298+
)
299+
.break_value()
300+
{
301+
return ControlFlow::Break(obligation);
302+
}
303+
}
282304

283-
let [candidate] = candidates.as_slice() else {
284-
return ControlFlow::Break(self.obligation.clone());
305+
return ControlFlow::Break(self.obligation.clone());
306+
}
307+
[candidate] => candidate,
308+
_ => return ControlFlow::Break(self.obligation.clone()),
285309
};
286310

287311
// Don't walk into impls that have `do_not_recommend`.
@@ -291,13 +315,12 @@ impl<'tcx> ProofTreeVisitor<'tcx> for BestObligation<'tcx> {
291315
} = candidate.kind()
292316
&& goal.infcx().tcx.do_not_recommend_impl(impl_def_id)
293317
{
318+
trace!("#[do_not_recommend] -> exit");
294319
return ControlFlow::Break(self.obligation.clone());
295320
}
296321

297-
let tcx = goal.infcx().tcx;
298322
// FIXME: Also, what about considering >1 layer up the stack? May be necessary
299323
// for normalizes-to.
300-
let pred_kind = goal.goal().predicate.kind();
301324
let child_mode = match pred_kind.skip_binder() {
302325
ty::PredicateKind::Clause(ty::ClauseKind::Trait(pred)) => {
303326
ChildMode::Trait(pred_kind.rebind(pred))

‎tests/ui/associated-types/defaults-unsound-62211-1.next.stderr‎

Lines changed: 0 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -37,11 +37,6 @@ error[E0277]: the trait bound `Self: Deref` is not satisfied
3737
LL | type Output: Copy + Deref<Target = str> + AddAssign<&'static str> + From<Self> + Display = Self;
3838
| ^^^^ the trait `Deref` is not implemented for `Self`
3939
|
40-
note: required by a bound in `UncheckedCopy::Output`
41-
--> $DIR/defaults-unsound-62211-1.rs:24:31
42-
|
43-
LL | type Output: Copy + Deref<Target = str> + AddAssign<&'static str> + From<Self> + Display = Self;
44-
| ^^^^^^^^^^^^ required by this bound in `UncheckedCopy::Output`
4540
help: consider further restricting `Self`
4641
|
4742
LL | trait UncheckedCopy: Sized + Deref {

‎tests/ui/associated-types/defaults-unsound-62211-2.next.stderr‎

Lines changed: 0 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -37,11 +37,6 @@ error[E0277]: the trait bound `Self: Deref` is not satisfied
3737
LL | type Output: Copy + Deref<Target = str> + AddAssign<&'static str> + From<Self> + Display = Self;
3838
| ^^^^ the trait `Deref` is not implemented for `Self`
3939
|
40-
note: required by a bound in `UncheckedCopy::Output`
41-
--> $DIR/defaults-unsound-62211-2.rs:24:31
42-
|
43-
LL | type Output: Copy + Deref<Target = str> + AddAssign<&'static str> + From<Self> + Display = Self;
44-
| ^^^^^^^^^^^^ required by this bound in `UncheckedCopy::Output`
4540
help: consider further restricting `Self`
4641
|
4742
LL | trait UncheckedCopy: Sized + Deref {

‎tests/ui/associated-types/issue-54108.next.stderr‎

Lines changed: 0 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -5,11 +5,6 @@ LL | type Size = <Self as SubEncoder>::ActualSize;
55
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ no implementation for `<T as SubEncoder>::ActualSize + <T as SubEncoder>::ActualSize`
66
|
77
= help: the trait `Add` is not implemented for `<T as SubEncoder>::ActualSize`
8-
note: required by a bound in `Encoder::Size`
9-
--> $DIR/issue-54108.rs:8:20
10-
|
11-
LL | type Size: Add<Output = Self::Size>;
12-
| ^^^^^^^^^^^^^^^^^^^ required by this bound in `Encoder::Size`
138
help: consider further restricting the associated type
149
|
1510
LL - T: SubEncoder,

‎tests/ui/auto-traits/assoc-ty.next.stderr‎

Lines changed: 13 additions & 12 deletions
Original file line numberDiff line numberDiff line change
@@ -21,20 +21,21 @@ LL | | }
2121
= help: add `#![feature(auto_traits)]` to the crate attributes to enable
2222
= note: this compiler was built on YYYY-MM-DD; consider upgrading it if it is out of date
2323

24-
error[E0308]: mismatched types
25-
--> $DIR/assoc-ty.rs:15:36
24+
error[E0271]: type mismatch resolving `<() as Trait>::Output normalizes-to _`
25+
--> $DIR/assoc-ty.rs:15:12
2626
|
2727
LL | let _: <() as Trait>::Output = ();
28-
| --------------------- ^^ types differ
29-
| |
30-
| expected due to this
28+
| ^^^^^^^^^^^^^^^^^^^^^ types differ
29+
30+
error[E0271]: type mismatch resolving `<() as Trait>::Output normalizes-to _`
31+
--> $DIR/assoc-ty.rs:15:12
32+
|
33+
LL | let _: <() as Trait>::Output = ();
34+
| ^^^^^^^^^^^^^^^^^^^^^ types differ
3135
|
32-
= note: expected associated type `<() as Trait>::Output`
33-
found unit type `()`
34-
= help: consider constraining the associated type `<() as Trait>::Output` to `()` or calling a method that returns `<() as Trait>::Output`
35-
= note: for more information, visit https://doc.rust-lang.org/book/ch19-03-advanced-traits.html
36+
= note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`
3637

37-
error: aborting due to 3 previous errors
38+
error: aborting due to 4 previous errors
3839

39-
Some errors have detailed explanations: E0308, E0380, E0658.
40-
For more information about an error, try `rustc --explain E0308`.
40+
Some errors have detailed explanations: E0271, E0380, E0658.
41+
For more information about an error, try `rustc --explain E0271`.

‎tests/ui/auto-traits/assoc-ty.rs‎

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -13,5 +13,7 @@ auto trait Trait {
1313

1414
fn main() {
1515
let _: <() as Trait>::Output = ();
16-
//~^ ERROR mismatched types
16+
//[current]~^ ERROR mismatched types
17+
//[next]~^^ ERROR type mismatch resolving `<() as Trait>::Output normalizes-to _`
18+
//[next]~| ERROR type mismatch resolving `<() as Trait>::Output normalizes-to _`
1719
}

‎tests/ui/impl-trait/ice-unexpected-param-type-whensubstituting-in-region-112823.next.stderr‎

Lines changed: 13 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -23,7 +23,19 @@ error[E0271]: type mismatch resolving `<Y as X>::LineStreamFut<'a, Repr> == ()`
2323
LL | fn line_stream<'a, Repr>(&'a self) -> Self::LineStreamFut<'a, Repr> {}
2424
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ types differ
2525

26-
error: aborting due to 3 previous errors
26+
error[E0271]: type mismatch resolving `<Y as X>::LineStreamFut<'a, Repr> normalizes-to _`
27+
--> $DIR/ice-unexpected-param-type-whensubstituting-in-region-112823.rs:28:73
28+
|
29+
LL | fn line_stream<'a, Repr>(&'a self) -> Self::LineStreamFut<'a, Repr> {}
30+
| ^^ types differ
31+
32+
error[E0271]: type mismatch resolving `<Y as X>::LineStreamFut<'a, Repr> normalizes-to _`
33+
--> $DIR/ice-unexpected-param-type-whensubstituting-in-region-112823.rs:28:5
34+
|
35+
LL | fn line_stream<'a, Repr>(&'a self) -> Self::LineStreamFut<'a, Repr> {}
36+
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ types differ
37+
38+
error: aborting due to 5 previous errors
2739

2840
Some errors have detailed explanations: E0049, E0271, E0407.
2941
For more information about an error, try `rustc --explain E0049`.

0 commit comments

Comments
 (0)