We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 1de57a5 commit 25365aeCopy full SHA for 25365ae
compiler/rustc_next_trait_solver/src/solve/eval_ctxt/canonical.rs
@@ -170,7 +170,7 @@ where
170
//
171
// We don't do so for `NormalizesTo` goals as we erased the expected term and
172
// bailing with overflow here would prevent us from detecting a type-mismatch,
173
- // causing a coherence error in diesel, see #131969. We still bail with verflow
+ // causing a coherence error in diesel, see #131969. We still bail with overflow
174
// when later returning from the parent AliasRelate goal.
175
if !self.is_normalizes_to_goal {
176
let num_non_region_vars =
0 commit comments