fn push_ty_ref<'tcx>(
    region: Region<'tcx>,
    ty: Ty<'tcx>,
    mutbl: Mutability,
    s: &mut DiagnosticStyledString
)