class Steep::TypeInference::Context::BlockContext

def initialize(body_type:)
  @body_type = body_type
end

def subst(s)
  BlockContext.new(body_type: body_type&.subst(s))
end