Skip to content

make empty operational typeclass TC opaque

Ralf Jung requested to merge ralf/empty-opaque into master

Like iris!914 (merged), but only for the Empty typeclass which (being just a constant) is particularly prone to Coq TC instance "hallucination".

Merge request reports