Skip to content
Backport

fix: make elab_as_elim eagerly elaborate arguments for parameters appearing in the types of targets #3268

Sign in to view logs

fix: make elab_as_elim eagerly elaborate arguments for parameters appearing in the types of targets

fix: make elab_as_elim eagerly elaborate arguments for parameters appearing in the types of targets #3268

The logs for this run have expired and are no longer available.