def dead_required_option

cli@0.2.0.0 · cli.bend:2250

import Base

2250def dead_required_option(option: Bool, attrs: List<&2, Item>, +at: String) ->
2251    List<&2, Problem>:
2252  match option:
2253    case True{}: required_misplaced(attrs, at)
2254    case False{}: Nil{}