From edc123b219027e9f051c48c682da79a5104613b3 Mon Sep 17 00:00:00 2001
From: Bruce Weirdan <weirdan@gmail.com>
Date: Sun, 3 Mar 2024 13:45:25 +0100
Subject: [PATCH] Backport `WeakMap` iterator fix from `master`

Refs vimeo/psalm#10773
---
 stubs/CoreGenericClasses.phpstub | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/stubs/CoreGenericClasses.phpstub b/stubs/CoreGenericClasses.phpstub
index 62e0ff33750..542fec35875 100644
--- a/stubs/CoreGenericClasses.phpstub
+++ b/stubs/CoreGenericClasses.phpstub
@@ -492,6 +492,11 @@ final class WeakMap implements ArrayAccess, Countable, IteratorAggregate, Traver
      * @return void
      */
     public function offsetUnset($offset) {}
+
+    /**
+     * @return Traversable<TKey, TVal>
+     */
+    public function getIterator() { }
 }
 
 class mysqli