visit_nested_body for LateLint should return earlier if there is an error

We started to check typeck result's tainted_by_errors in check_pat for LateLint,
But ideally the check should be in a better place which all lints profit from it.
visit_nested_body is the place because it's the starting point of linting body.

Author: Shunpoco

compiler/rustc_lint/src/builtin.rs

@@ -152,10 +152,7 @@ declare_lint_pass!(NonShorthandFieldPatterns => [NON_SHORTHAND_FIELD_PATTERNS]);
 
 impl<'tcx> LateLintPass<'tcx> for NonShorthandFieldPatterns {
     fn check_pat(&mut self, cx: &LateContext<'_>, pat: &hir::Pat<'_>) {
-        // The result shouldn't be tainted, otherwise it will cause ICE.
-        if let PatKind::Struct(ref qpath, field_pats, _) = pat.kind
-            && cx.typeck_results().tainted_by_errors.is_none()
-        {
+        if let PatKind::Struct(ref qpath, field_pats, _) = pat.kind {
             let variant = cx
                 .typeck_results()
                 .pat_ty(pat)

compiler/rustc_lint/src/late.rs

@@ -89,6 +89,11 @@ impl<'tcx, T: LateLintPass<'tcx>> hir_visit::Visitor<'tcx> for LateContextAndPas
     }
 
     fn visit_nested_body(&mut self, body_id: hir::BodyId) {
+        // The result shouldn't be tainted, otherwise it will cause ICE.
+        if self.context.tcx.typeck_body(body_id).tainted_by_errors.is_some() {
+            return;
+        }
+
         let old_enclosing_body = self.context.enclosing_body.replace(body_id);
         let old_cached_typeck_results = self.context.cached_typeck_results.get();
 

tests/crashes/138361.rs

@@ -0,0 +1,5 @@
+// The test confirms ICE-138361 is fixed.
+fn main() {
+  [0; loop{}]; //~ ERROR constant evaluation is taking a long time
+  std::mem::transmute(4)
+}

tests/ui/consts/long-constant-evaluation-cause-ice-in-sty.rs

@@ -0,0 +1,17 @@
+error: constant evaluation is taking a long time
+  --> $DIR/long-constant-evaluation-cause-ice-in-sty.rs:3:7
+   |
+LL |   [0; loop{}];
+   |       ^^^^^^
+   |
+   = note: this lint makes sure the compiler doesn't get stuck due to infinite loops in const eval.
+           If your compilation actually takes a long time, you can safely allow the lint.
+help: the constant being evaluated
+  --> $DIR/long-constant-evaluation-cause-ice-in-sty.rs:3:7
+   |
+LL |   [0; loop{}];
+   |       ^^^^^^
+   = note: `#[deny(long_running_const_eval)]` on by default
+
+error: aborting due to 1 previous error
+