validator.rbs in steep-1.5.0.pre.6

- old
+ new

@@ -36,11 +36,11 @@
 
       def validate_type_application_constraints: (RBS::TypeName type_name, Array[RBS::AST::TypeParam] type_params, Array[RBS::Types::t] type_args, location: RBS::Location[untyped, untyped]?) -> void
 
       def validate_type_application: (RBS::Types::t) -> void
 
-      def validate_type: (RBS::Types::t `type`) -> untyped
+      def validate_type: (RBS::Types::t `type`) -> void
 
       def ancestor_to_type: (RBS::Definition::Ancestor::t ancestor) -> (AST::Types::Name::Interface | AST::Types::Name::Instance)
 
       def mixin_constraints: (RBS::Definition definition, Array[RBS::Definition::Ancestor::Instance] mixin_ancestors, immediate_self_types: Array[RBS::Definition::Ancestor::t]?) -> Array[[Subtyping::Relation[AST::Types::t], RBS::Definition::Ancestor::Instance]]
 
@@ -67,10 +67,10 @@
       def validate_one_global: (Symbol name, RBS::Environment::GlobalEntry) -> void
 
       def validate_one_alias: (RBS::TypeName name, ?RBS::Environment::TypeAliasEntry entry) -> void
 
       def validate_one_class_decl: (RBS::TypeName) -> void
-                                 
+
       def validate_one_class_alias: (RBS::TypeName, RBS::Environment::ClassAliasEntry | RBS::Environment::ModuleAliasEntry) -> void
 
       def validate_alias: () -> void
 
       def rescue_validation_errors: (?RBS::TypeName? type_name) { () -> void } -> void