Skip to content
Test installations

fix(hax-lib/macros): handle correctly &mut Self arguments in ensures #3454

Sign in to view logs

fix(hax-lib/macros): handle correctly &mut Self arguments in ensures

fix(hax-lib/macros): handle correctly &mut Self arguments in ensures #3454

This job was skipped