[Issue 12247] in contract in interfaces is not checked

[d-bugmail at puremagic.com]

https://issues.dlang.org/show_bug.cgi?id=12247

FeepingCreature <default_357-line at yahoo.de> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |default_357-line at yahoo.de

--- Comment #4 from FeepingCreature <default_357-line at yahoo.de> ---
Note that in theory there's `-preview=inclusiveincontracts`, which changes the
way inconditions work to require (at runtime) that child in-contracts are a
subset of parent in-contracts. Though I haven't worked on it for a while now,
because we've generally reduced the amount of objects being passed to functions
(or non-autogenerated methods), so it hasn't come up in a while.

--