Thanks for the link. I updated this thread to put more emphasis on trait methods: The issue shown in Should we have another non-type never? - #2 by beepster shows that the return type of a free function can be used even if the function itself is never called
I don't think you can do the same with methods of traits - where It would be the most useful so I think this is another restriction you could add