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

Sign in to view logs

Triggered via pull request March 25, 2024 16:18

sjrd

opened #20015

sjrd:fix-i19746-match-type-unsoundness

Status Success

Total duration 1m 19s

Artifacts –

spec.yml

on: pull_request