Function rustc_const_eval::transform::validate::validate_types

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