Warn when using the top type in a pre- or post-condition annotation#6412
Open
mernst wants to merge 14 commits into
Open
Warn when using the top type in a pre- or post-condition annotation#6412mernst wants to merge 14 commits into
mernst wants to merge 14 commits into
Commits
Commits on Jan 22, 2024
Commits on Jan 30, 2024
Commits on Jan 31, 2024
Commits on Mar 18, 2024
- committed