Function rustc_mir_transform::unreachable_enum_branching::get_switched_on_type

source · 
fn get_switched_on_type<'tcx>(
    block_data: &BasicBlockData<'tcx>,
    tcx: TyCtxt<'tcx>,
    body: &Body<'tcx>
) -> Option<Ty<'tcx>>
Expand description

If the basic block terminates by switching on a discriminant, this returns the Ty the discriminant is read from. Otherwise, returns None.