crystal-lang - Crystal lang の変数型は、1 つのクラスから継承するクラスに制限できますか

Question

つまり：

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

Foo変数の型を、共用体なしで継承するクラスに制限することは可能x : Foo+ですか?

Answer 1

多分型制限を使用していますか？

@x : Foo