fn equate_intrinsic_type<'tcx>( tcx: TyCtxt<'tcx>, span: Span, def_id: LocalDefId, n_tps: usize, n_lts: usize, n_cts: usize, sig: PolyFnSig<'tcx>, )