fn equate_intrinsic_type<'tcx>(
    tcx: TyCtxt<'tcx>,
    it: &ForeignItem<'_>,
    n_tps: usize,
    n_lts: usize,
    n_cts: usize,
    sig: PolyFnSig<'tcx>
)