review comments

src/librustc_typeck/check/generator_interior.rs

@@ -245,7 +245,7 @@ fn visit_expr(&mut self, expr: &'tcx Expr) {
         // If this were not the case, then we could conceivably have
         // to create intermediate temporaries.)
         //
-        // The type table might not have invormation for this expression
+        // The type table might not have information for this expression
         // if it is in a malformed scope. (#66387)
         if let Some(ty) = self.fcx.tables.borrow().expr_ty_opt(expr) {
             self.record(ty, scope, Some(expr), expr.span);

src/test/ui/async-await/issue-66387-if-without-else.rs

@@ -3,6 +3,8 @@ async fn f() -> i32 {
     if true { //~ ERROR if may be missing an else clause
         return 0;
     }
+    // An `if` block without `else` causes the type table not to have a type for this expr.
+    // Check that we do not unconditionally access the type table and we don't ICE.
 }
 
 fn main() {}