Skip to content

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

Draft
coeff-aij wants to merge 96 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 96 commits into
coord-e:mainfrom
coeff-aij:forall-sort

fix(annot_fn): avoid double-wrapping already-Mut closure receivers

aa22e2c
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
clippy
succeeded Jun 28, 2026 in 36s