web-devtools/global.d.ts
An interface declaring no members is equivalent to its supertype. Open
Open
export interface DefaultTheme extends Theme {}
- Read upRead up
- Create a ticketCreate a ticket
- Exclude checks
Rule: no-empty-interface
Forbids empty interfaces.
Rationale
An empty interface is equivalent to its supertype (or {}
).
Notes
- TypeScript Only
Config
Not configurable.
For more information see this page.