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

Sign in to view logs

Summary
Jobs
- check
Run details
- Usage
- Workflow file

Triggered via pull request March 25, 2024 16:18

sjrd

opened #20015

sjrd:fix-i19746-match-type-unsoundness

Status Success

Total duration 33s

Artifacts –

cla.yml

on: pull_request