fn resolve_rust_intrinsic<'tcx>(
    tcx: TyCtxt<'tcx>,
    func_ty: Ty<'tcx>
) -> Option<(Symbol, SubstsRef<'tcx>)>