Pre-pre-RFC: Anti-trait-object auto trait

language design
13

Okay, my RFC draft is nearly done. Some differences in my draft from what’s been mentioned in this discussion:

  • I used the name ExcludesDynType instead of IsNotDynWithMethodsOf. I mentioned the latter as an alternative, but I went with the former because it’s not longer than DispatchFromDyn :slight_smile:.
  • I also mentioned that dyn SubTrait + ... should not implement the trait.

Edit: Pre-RFC draft has been posted.