[Issue 12247] in contract in interfaces is not checked

[d-bugmail at puremagic.com]

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

Dennis <dkorpel at live.nl> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
                 CC|                            |dkorpel at live.nl
         Resolution|---                         |DUPLICATE

--- Comment #2 from Dennis <dkorpel at live.nl> ---
This is working as designed, though it is somewhat controversial.

> The fundamental nature of 'in' contracts is that they are "loosened" 
> on derivation. If an instance of B is passed to parameter A, then 
> if either the contract for A or the contract for B passes, then 
> it passes. It is NOT necessary for the A contract to pass.

See issue 6856

*** This issue has been marked as a duplicate of issue 6856 ***

--