LevitatingLion
Results
2
comments of
LevitatingLion
> About the proved_assume macro: we need to make sure that it is still unsafe. Absolutely! We could require syntax like `proved_assume!(unsafe { i < arr.len() })` or even `unsafe...
A quick test, looks like it does ignore unknown `cfg`s: