Can variable type in Crystal lang be restricted to classes that inherit from one class

Question

I mean:

class Foo; end
class Bar < Foo; end
class Cux < Foo; end

Is it possible to restrict type of the variable to classes inheriting from Foo without unions, something like x : Foo+?

Answer 1

Maybe using a type restriction?

@x : Foo