Fix subtype check for identical late-resolvable conditional types (bug #10942)#4579

Open

yt-catpaw wants to merge 3 commits intophpstan:2.1.xfrom

yt-catpaw:fix-contravariant-param-10942

Commits on Nov 26, 2025

Short-circuit identical late-resolvable conditionals in subtype checks
yt-catpaw
committed

Commits on Nov 27, 2025

Short-circuit identical late-resolvable types in isSuperTypeOf and add coverage
yt-catpaw
committed
Add data-provider tests for late-resolvable isSuperTypeOf/isSubTypeOf
yt-catpaw
committed