contract C {}
interface I is C {}

// ----
// TypeError 6536: (29-30='C'): Interfaces can only inherit from other interfaces.