https://issues.dlang.org/show_bug.cgi?id=12247
Dennis <[email protected]> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |RESOLVED CC| |[email protected] Resolution|--- |DUPLICATE --- Comment #2 from Dennis <[email protected]> --- 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 *** --
