class IncompatibleSuper def foo: () -> Integer def initialize: (name: String) -> any end class IncompatibleChild < IncompatibleSuper def initialize: () -> any def (incompatible) foo: (Object) -> String end