Rule: Covariant return type changed¶

Canonical rule slug: covariant-return-changed. ← back to all rules

An override's covariant return type changes, altering the thunk the vtable slot points at and the type callers receive.

Canonical demonstration¶