Function rustc_middle::mir::pretty::write_user_type_annotations

fn write_user_type_annotations(
    tcx: TyCtxt<'_>, 
    body: &Body<'_>, 
    w: &mut dyn Write
) -> Result<()>