Pre-RFC: A new auto trait for precise object-safe where-clauses

language design
3

Because there are 4 types that need to be excluded:

  • dyn T
  • dyn T + SomeOtherTraits
  • dyn SubTrait
  • dyn SubTrait + SomeOtherTraits

I originally proposed where Self != dyn T in the discussion thread, but @mikeyhew pointed out the other types that need exclusion.

2 Likes