Browse Source
The pure attribute on `StaticVector#empty` is needed so that it can be used in `DVL_ASSUME` without a warning about side-effects in assume.pull/7148/head
4 changed files with 9 additions and 7 deletions
Loading…
Reference in new issue