5be1ff1d5f
- `require.kt` was added to check JVM accidental override diagnostic when using the "traits with required classes" feature, which was removed a long time ago. - `withErrorTypes.kt` was testing conflicting JVM declarations error (a backend diagnostic) in presence of error types -- not very useful scenario because the backend is not run when there's a frontend error.