class Steep::TypeConstruction

def initialize(checker:, source:, annotations:, type_env:, typing:, self_type:, method_context:, block_context:, module_context:, break_context:)
  @checker = checker
  @source = source
  @annotations = annotations
  @typing = typing
  @self_type = self_type
  @block_context = block_context
  @method_context = method_context
  @module_context = module_context
  @break_context = break_context
  @type_env = type_env
end