Join GitHub today
GitHub is home to over 50 million developers working together to host and review code, manage projects, and build software together.
Sign upRefactor checks on Contracts #8541
Open
Labels
Projects
Comments
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment


The type checker contains multiple occurrences of
These should be extracted into some helper "forAllContracts" or something like that, which takes a lambda.