Feb. 9, 2020
1:28 p.m.
On 9 Feb 2020, at 14:01, Soni L. <fakedme+py@gmail.com> wrote:
into this:
[snip]
def my_fn(@MyTrait x): x.x()
Can't you look at typing info or something instead? That is a lot of boilerplate and ceremony even after your proposed addition. So: @traits def my_fn(x: MyTrait): x.x() / Anders