diff --git a/sig/method_types.rbs b/sig/method_types.rbs index eabeeda2d..10fb6b0f8 100644 --- a/sig/method_types.rbs +++ b/sig/method_types.rbs @@ -14,11 +14,11 @@ module RBS type loc = def_loc | attr_loc attr_reader type_params: Array[AST::TypeParam] - attr_reader type: Types::function + attr_reader type: Types::Function attr_reader block: Types::Block? attr_reader location: loc? - def initialize: (type_params: Array[AST::TypeParam], type: Types::function, block: Types::Block?, location: loc?) -> void + def initialize: (type_params: Array[AST::TypeParam], type: Types::Function, block: Types::Block?, location: loc?) -> void def ==: (untyped other) -> bool @@ -29,7 +29,7 @@ module RBS # def sub: (Substitution) -> MethodType - def update: (?type_params: Array[AST::TypeParam], ?type: Types::function, ?block: Types::Block?, ?location: loc?) -> MethodType + def update: (?type_params: Array[AST::TypeParam], ?type: Types::Function, ?block: Types::Block?, ?location: loc?) -> MethodType def free_variables: (?Set[Symbol] set) -> Set[Symbol] diff --git a/sig/variance_calculator.rbs b/sig/variance_calculator.rbs index c42a5340c..f09ef4dac 100644 --- a/sig/variance_calculator.rbs +++ b/sig/variance_calculator.rbs @@ -80,7 +80,7 @@ module RBS def type: (Types::t, result: Result, context: variance) -> void - def function: (Types::function, result: Result, context: variance) -> void + def function: (Types::Function, result: Result, context: variance) -> void def negate: (variance) -> variance end