That got me wondering too, but it was like that in `ClassfileReader`, so I started thinking. And then I remembered (from my `typedParentType` refactoring) that we expect the first item in the parent list to be a class, not a trait.