Writeback walks the HIR not the AST.

benjaminp · benjaminp · commit 504f136c74fb · 2020-12-03T23:38:36.000-06:00
diff --git a/compiler/rustc_typeck/src/check/writeback.rs b/compiler/rustc_typeck/src/check/writeback.rs
@@ -88,7 +88,7 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {
 }
 
 ///////////////////////////////////////////////////////////////////////////
-// The Writeback context. This visitor walks the AST, checking the
+// The Writeback context. This visitor walks the HIR, checking the
 // fn-specific typeck results to find references to types or regions. It
 // resolves those regions to remove inference variables and writes the
 // final result back into the master typeck results in the tcx. Here and

Original file line number	Diff line number	Diff line change
`@@ -88,7 +88,7 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {`
`88`	`88`	`}`
`89`	`89`
`90`	`90`	`///////////////////////////////////////////////////////////////////////////`
`91`		`-// The Writeback context. This visitor walks the AST, checking the`
	`91`	`+// The Writeback context. This visitor walks the HIR, checking the`
`92`	`92`	`// fn-specific typeck results to find references to types or regions. It`
`93`	`93`	`// resolves those regions to remove inference variables and writes the`
`94`	`94`	`// final result back into the master typeck results in the tcx. Here and`