fn item_requires_monomorphization(tcx: TyCtxt<'_>, def_id: LocalDefId) -> bool