On Thu, 2004-05-06 at 10:39, Aaron Sherman wrote:
> The simple case is:
>
> sub foo(X $i is rw) {...}
> class X {...}
> class Y {...}
> my Y $var = 'something';
> foo($var);
>
> In this case, something kind of interesting has to happen.
>
> Either the signature checking has to verify that Y isa X (and thus can
> be used polymorphically as X, not just converted to X) ...I'd argue 'Y does X', actually, though Dan disagrees and says "Well, whatever!" -- c
