Function Contracts: Closure Type Inference#3307

Merged

pi314mm merged 8 commits intomodel-checking:mainfrom pi314mm:annotate_closure

Jul 1, 2024

+41-1

Commits on Jun 28, 2024

annotate all ensures closures
Matias Scharager
committed
add paren
Matias Scharager
committed
helper function
Matias Scharager
committed
remove 'a
Matias Scharager
committed
change to internal and create test for mutability
Matias Scharager
committed
forgot to copy paste test in
Matias Scharager
committed
forgot to copy paste test in
Matias Scharager
committed

Commits on Jul 1, 2024

Merge branch 'main' into annotate_closure
pi314mm
authored