class Steep::Subtyping::Result::Failure::PolyMethodSubtyping

def message
  "Method #{name} requires uncheckable polymorphic subtyping"
end