Function fn_requires_monomorphization 

pub fn fn_requires_monomorphization<'tcx>(
    fn_did: DefId,
    tcx: TyCtxt<'_>,
) -> bool