Issue error if top is used in a contract annotation#6429
Open
mernst wants to merge 7 commits intotypetools:masterfrom mernst:warn-contract-refinement-to-top-2
+77-3
Commits
Commits on Jan 30, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
