Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Fix incorrect "Incompatible types in capture pattern" error for narrowed types - #18155

Closed
shenyih0ng wants to merge 5 commits into
python:masterfrom
shenyih0ng:feat/capture-pattern-type-narrowing
Closed

Fix incorrect "Incompatible types in capture pattern" error for narrowed types#18155
shenyih0ng wants to merge 5 commits into
python:masterfrom
shenyih0ng:feat/capture-pattern-type-narrowing

Commits

Commits on Nov 18, 2024