Re: Why do custom types need to be reference counted objects for dynamic dispatch to work.

[Krux02]

I don't think an argument of what the bug is, is leading to anything here. I 
think the compiler can throw a warning here at least, if not an error. But we 
can agree here, that the default parameter passing does work very well.