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: May 31 2023 at 03:30 UTC