Avoid assertion failure for illegal trait inheritance
Avoid assertion failure for illegal trait inheritance

Fixes #15629

lampepfl/dotty,dotty-staging/dotty,lampepfl/dotty,sjrd/dotty,sjrd/dotty,sjrd/dotty,dotty-staging/dotty,dotty-staging/dotty,lampepfl/dotty,lampepfl/dotty,lampepfl/dotty,sjrd/dotty,dotty-staging/dotty,dotty-staging/dotty,sjrd/dotty