Function rustc_middle::mir::pretty::write_user_type_annotations

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