On Monday, 15 June 2020 at 12:45:56 UTC, Paul Backus wrote: > > Well, the compiler has an option specifically for in contracts, > `-checkaction=in=[on|off]`, so probably what should be done is > to give that option a `safeonly` value like what `-boundscheck` > has. Typo: `-check=...`, not `-checkaction=...`.