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