Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
User subtrait/supertrait, not sub-trait, super-trait.
There are definitions of subtrait and supertrait, so use the official terminology.
- Loading branch information