class Steep::Subtyping::Check

def check_block_params(name, sub_block, super_block, self_type:, assumption:, trace:, constraints:)
  if sub_block && super_block
    check_method_params(name,
                        super_block.type.params,
                        sub_block.type.params,
                        self_type: self_type,
                        assumption: assumption,
                        trace: trace,
                        constraints: constraints)
  else
    success(constraints: constraints)
  end
end