Idea: object-safe static trait methods

FYI I have a previous proposal, that allow t:Option<dyn Trait> = None being a way to make “bare” vtables, and allow dynamic dispatch on it with useful use cases, such as virtual constructor. See this post.