Skip to content
Test installations

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

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 #3455

This job was skipped