Skip to content

Commit 9d307f1

Browse files
authored
Rollup merge of #89722 - jkugelman:cannonical-typo, r=joshtriplett
Fix spelling: Cannonical -> Canonical
2 parents 9c47913 + 1691139 commit 9d307f1

File tree

5 files changed

+8
-8
lines changed

5 files changed

+8
-8
lines changed

compiler/rustc_middle/src/traits/select.rs

+2-2
Original file line numberDiff line numberDiff line change
@@ -264,14 +264,14 @@ impl EvaluationResult {
264264
/// Indicates that trait evaluation caused overflow and in which pass.
265265
#[derive(Copy, Clone, Debug, PartialEq, Eq, HashStable)]
266266
pub enum OverflowError {
267-
Cannonical,
267+
Canonical,
268268
ErrorReporting,
269269
}
270270

271271
impl<'tcx> From<OverflowError> for SelectionError<'tcx> {
272272
fn from(overflow_error: OverflowError) -> SelectionError<'tcx> {
273273
match overflow_error {
274-
OverflowError::Cannonical => SelectionError::Overflow,
274+
OverflowError::Canonical => SelectionError::Overflow,
275275
OverflowError::ErrorReporting => SelectionError::ErrorReporting,
276276
}
277277
}

compiler/rustc_trait_selection/src/traits/query/evaluate_obligation.rs

+2-2
Original file line numberDiff line numberDiff line change
@@ -83,10 +83,10 @@ impl<'cx, 'tcx> InferCtxtExt<'tcx> for InferCtxt<'cx, 'tcx> {
8383
) -> EvaluationResult {
8484
match self.evaluate_obligation(obligation) {
8585
Ok(result) => result,
86-
Err(OverflowError::Cannonical) => {
86+
Err(OverflowError::Canonical) => {
8787
let mut selcx = SelectionContext::with_query_mode(&self, TraitQueryMode::Standard);
8888
selcx.evaluate_root_obligation(obligation).unwrap_or_else(|r| match r {
89-
OverflowError::Cannonical => {
89+
OverflowError::Canonical => {
9090
span_bug!(
9191
obligation.cause.span,
9292
"Overflow should be caught earlier in standard query mode: {:?}, {:?}",

compiler/rustc_trait_selection/src/traits/select/candidate_assembly.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -161,7 +161,7 @@ impl<'cx, 'tcx> SelectionContext<'cx, 'tcx> {
161161
Ok(Some(EvaluatedCandidate { candidate: c, evaluation: eval }))
162162
}
163163
Ok(_) => Ok(None),
164-
Err(OverflowError::Cannonical) => Err(Overflow),
164+
Err(OverflowError::Canonical) => Err(Overflow),
165165
Err(OverflowError::ErrorReporting) => Err(ErrorReporting),
166166
})
167167
.flat_map(Result::transpose)

compiler/rustc_trait_selection/src/traits/select/mod.rs

+2-2
Original file line numberDiff line numberDiff line change
@@ -900,7 +900,7 @@ impl<'cx, 'tcx> SelectionContext<'cx, 'tcx> {
900900
match self.candidate_from_obligation(stack) {
901901
Ok(Some(c)) => self.evaluate_candidate(stack, &c),
902902
Ok(None) => Ok(EvaluatedToAmbig),
903-
Err(Overflow) => Err(OverflowError::Cannonical),
903+
Err(Overflow) => Err(OverflowError::Canonical),
904904
Err(ErrorReporting) => Err(OverflowError::ErrorReporting),
905905
Err(..) => Ok(EvaluatedToErr),
906906
}
@@ -1064,7 +1064,7 @@ impl<'cx, 'tcx> SelectionContext<'cx, 'tcx> {
10641064
self.infcx.report_overflow_error(error_obligation, true);
10651065
}
10661066
TraitQueryMode::Canonical => {
1067-
return Err(OverflowError::Cannonical);
1067+
return Err(OverflowError::Canonical);
10681068
}
10691069
}
10701070
}

src/librustdoc/clean/blanket_impl.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -78,7 +78,7 @@ impl<'a, 'tcx> BlanketImplFinder<'a, 'tcx> {
7878
);
7979
match infcx.evaluate_obligation(&obligation) {
8080
Ok(eval_result) if eval_result.may_apply() => {}
81-
Err(traits::OverflowError::Cannonical) => {}
81+
Err(traits::OverflowError::Canonical) => {}
8282
Err(traits::OverflowError::ErrorReporting) => {}
8383
_ => {
8484
return false;

0 commit comments

Comments
 (0)