Skip to content

Encode unknown generic type parameters with (declare-forall-sort) - #93

Draft
coeff-aij wants to merge 154 commits into
coord-e:mainfrom
coeff-aij:forall-sort
Draft

Encode unknown generic type parameters with (declare-forall-sort)#93
coeff-aij wants to merge 154 commits into
coord-e:mainfrom
coeff-aij:forall-sort

Check a trait postcondition at the impl, not in the default body

1128385
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
clippy
succeeded Sep 10, 2026 in 37s