Function rustc_mir::interpret::eval_context::mir_assign_valid_types

pub(super) fn mir_assign_valid_types<'tcx>(
    tcx: TyCtxt<'tcx>, 
    param_env: ParamEnv<'tcx>, 
    src: TyAndLayout<'tcx>, 
    dest: TyAndLayout<'tcx>
) -> bool

Test if it is valid for a MIR assignment to assign src-typed place to dest-typed value. This test should be symmetric, as it is primarily about layout compatibility.