pub(crate) fn validate_types<'tcx>(
tcx: TyCtxt<'tcx>,
typing_env: TypingEnv<'tcx>,
body: &Body<'tcx>,
caller_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.
caller_body
is used to detect cycles in MIR inlining and MIR validation before
optimized_mir
is available.