public function visitBinaryConcat(Node $node) : UnionType { return StringType::instance()->asUnionType(); }