Skip to content

Fix #19746: Do not follow param term refs in isConcrete.#20015

Merged
sjrd merged 1 commit intoscala:mainfrom
sjrd:fix-i19746-match-type-unsoundness
Apr 4, 2024
Merged

Fix #19746: Do not follow param term refs in `isConcrete`.#20015
sjrd merged 1 commit intoscala:mainfrom
sjrd:fix-i19746-match-type-unsoundness

Commits

Commits on Mar 25, 2024