Is there any way to figure out where an evar comes from in the error message Cannot infer this placeholder of type from Control.with_holes? (see also https://github.com/coq/coq/issues/16555)
Cannot infer this placeholder of type
Control.with_holes
Last updated: Oct 13 2024 at 01:02 UTC