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