Stack overflow in subscript_infer_for_type_with_key_present

[correctmost]

Describe the Bug

Pyrefly crashes when checking this fuzzed code:

from typing import Mapping

def fn(obj: U):
    match obj:
        case {'a': {'b': []}}:
            pass

T = 'T' | str | Mapping[str, 'T']
U = Mapping[str, T]

thread '<unknown>' (140135) has overflowed its stack
fatal runtime error: stack overflow, aborting

Version info

Reproducible with 1.3.0-dev.2 and commit 19d136c

Sandbox Link

https://pyrefly.org/sandbox/?project=v2.pZS9DoIwFIVf5SYM18F4d57CoUzCULEBB1tjq4vh3T2FojQmJMblDv3N7ff1_BCZKR7emtoNBCypmp256ND2UcqFIsgqQ0_WXKIeUQ_NMCzmPxxqq9AgK4boEBE13Rd_7zZO4PEqLMmGVfONoaD9NECpIwQQ-HV3xBy47GpbIOEM9SFcfSkyb3e3ToyVk2u9ZDuEonH6oc9jeObHkRu18Tj2H_484ec1-hzhY8Uq0Bc

(Only applicable for extension issues) IDE Information

No response

[kavix]

#claim

[github-actions]

@kavix you've claimed this issue — it's now assigned to you. Thanks for picking it up! 🎉