fix: make elab_as_elim eagerly elaborate arguments for parameters appearing in the types of targets
#3275
The logs for this run have expired and are no longer available.
Loading