Skip to content
GitLab

Use `notypeclasses refine` for `TCIf` and `TCNoBackTrack`.

Merged Robbert Krebbers requested to merge robbert/tc_notypeclasses_refine into master

This came up here: iris!843 (comment 84069)

Merge request reports