On Mon, 20 Jul 2020 14:00:33 +0200
Tobias Boege <t...@taboege.de> wrote:
> You cannot write `Walkable &w` in the signature of &walker because the
> combination of a type and the &-sigil apparently means that `&w`
> should be Callable and return a Walkable. That's why I use the
> $-sigil.
Aha! That's the bit I got wrong, thank you! with that change, my
example works.
I'd still like opinions on the subtyping situation between `Signature`
--
Dakkar - <Mobilis in mobile>
GPG public key fingerprint = A071 E618 DD2C 5901 9574
6FE2 40EA 9883 7519 3F88
key id = 0x75193F88
