Function write_ref_like 

pub(crate) fn write_ref_like<'tcx>(
    f: &mut impl Write,
    ty: Ty<'tcx>,
    subpattern: &str,
) -> Result