Skip to content

Warn when using the top type in a pre- or post-condition annotation#6412

Open
mernst wants to merge 5 commits intotypetools:masterfrom mernst:warn-contract-refinement-to-top
+73-2

Commits