Skip to content

Narrow comparisons on a variable through its recorded defining call - #6383

Open
ondrejmirtes wants to merge 2 commits into
2.3.xfrom
dependent-types-result-provenance
Open

Narrow comparisons on a variable through its recorded defining call#6383
ondrejmirtes wants to merge 2 commits into
2.3.xfrom
dependent-types-result-provenance

Commits

  1. Commits on Oct 31, 2026