Reports missing supertrait implementations. E0277