Closed
Description
If you look at librustc_typeck/lib.rs:check_crate, you see a bunch of tcx.sess.track_errors
and early returns with ?
. In most of these cases (perhaps all except type collection), we should be able to continue type checking instead of returning. That would mean getting more errors to the user sooner, and getting type info in more circumstances in IDEs.