Update compiler/rustc_middle/src/ty/normalize_erasing_regions.rs

nikomatsakis · lqd · web-flow · commit 86a5a6520d0d · 2021-07-04T12:37:25.000-04:00
Co-authored-by: Rémy Rakic &lt;remy.rakic+github@gmail.com&gt;
diff --git a/compiler/rustc_middle/src/ty/normalize_erasing_regions.rs b/compiler/rustc_middle/src/ty/normalize_erasing_regions.rs
@@ -113,7 +113,7 @@ impl TypeFolder<'tcx> for NormalizeAfterErasingRegionsFolder<'tcx> {
 
     #[inline]
     fn fold_mir_const(&mut self, c: mir::ConstantKind<'tcx>) -> mir::ConstantKind<'tcx> {
-        // FIXME: This *probalby* needs canonicalization too!
+        // FIXME: This *probably* needs canonicalization too!
         let arg = self.param_env.and(c);
         self.tcx.normalize_mir_const_after_erasing_regions(arg)
     }

Original file line number	Diff line number	Diff line change
`@@ -113,7 +113,7 @@ impl TypeFolder<'tcx> for NormalizeAfterErasingRegionsFolder<'tcx> {`
`113`	`113`
`114`	`114`	`#[inline]`
`115`	`115`	`fn fold_mir_const(&mut self, c: mir::ConstantKind<'tcx>) -> mir::ConstantKind<'tcx> {`
`116`		`- // FIXME: This probalby needs canonicalization too!`
	`116`	`+ // FIXME: This probably needs canonicalization too!`
`117`	`117`	`let arg = self.param_env.and(c);`
`118`	`118`	`self.tcx.normalize_mir_const_after_erasing_regions(arg)`
`119`	`119`	`}`