From bcd996857e42a383c79ea9ae84994d3ad932ac4a Mon Sep 17 00:00:00 2001 From: Niko Matsakis Date: Fri, 23 Feb 2018 10:42:12 -0500 Subject: [PATCH] explain why we don't need to run type-checker when NLL is enabled --- src/librustc_mir/borrow_check/nll/type_check/mod.rs | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/librustc_mir/borrow_check/nll/type_check/mod.rs b/src/librustc_mir/borrow_check/nll/type_check/mod.rs index eafb12fab964..d57b8e78f18a 100644 --- a/src/librustc_mir/borrow_check/nll/type_check/mod.rs +++ b/src/librustc_mir/borrow_check/nll/type_check/mod.rs @@ -1585,6 +1585,8 @@ impl MirPass for TypeckMir { let id = tcx.hir.as_local_node_id(def_id).unwrap(); debug!("run_pass: {:?}", def_id); + // When NLL is enabled, the borrow checker runs the typeck + // itself, so we don't need this MIR pass anymore. if tcx.sess.nll() { return; }