On Sunday, 4 March 2018 at 12:05:08 UTC, rjframe wrote: > E.g., "dmd -check=in a.d" is unnecessary; it's equivalent to > "dmd a.d" "dmd -release -check=in a.d" turns off all checks > except in contracts. I think, -check should specify hierarchic modes like in the DIP, that would work independently of -release switch (override).