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