pub fn validate_types<'tcx>(
    tcx: TyCtxt<'tcx>,
    mir_phase: MirPhase,
    param_env: ParamEnv<'tcx>,
    body: &Body<'tcx>
) -> Vec<(Location, String)>
Expand description

A faster version of the validation pass that only checks those things which may break when instantiating any generic parameters.