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

fix: do not narrow if `UninhabitedType` in union

4f2e9b4
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs