On Tuesday, 3 December 2019 at 14:45:28 UTC, Ola Fosheim Grøstad
wrote:
Maybe also test with D interfaces? I suppose they have the same
behaviour as superclasses?
Yeah, I did that (there's a unittest in the blog source for it,
that's what shows under the example section). It works nicely.
I just assumed a null contract in the parent was the same as
in(true) and it isn't so ugh.
Anyway, I think most programmers struggle with
covariant/contravariant parameters... I certainly have to stop
up and ponder for a while to figure out the semantics when
hitting such. So I tend to avoid it... :-P :-)
Maybe, but it is pretty sound once you get to know it.
