def dead_required_kind

cli@0.2.0.0 · cli.bend:2256

import cli@0.2.0.0/cli.bend as Cli
import Base

2256# An option's required() that descent drops; a flag's or a positional's is
2257# already misplaced by its kind.
2258def dead_required_kind(parsed: Usage, attrs: List<&2, Item>, +at: String) ->
2259    List<&2, Problem>:
2260  match parsed:
2261    case Parsed{derived, short, long, kind}:
2262      dead_required_option(kind_required_allowed(kind), attrs, at)
2263    case Invalid{col}: Nil{}

Uses (7)

Used by (1)