Cli.dead_required_kind: def of cli@0.2.0.0 Import: import cli@0.2.0.0/cli.bend as Cli Lines 2256-2263 of cli@0.2.0.0/cli.bend: https://jend.leeeet.dev/read.txt?path=cli@0.2.0.0/cli.bend&start_line=2256&end_line=2263 import Base # An option's required() that descent drops; a flag's or a positional's is # already misplaced by its kind. def dead_required_kind(parsed: Usage, attrs: List<&2, Item>, +at: String) -> List<&2, Problem>: match parsed: case Parsed{derived, short, long, kind}: dead_required_option(kind_required_allowed(kind), attrs, at) case Invalid{col}: Nil{} Uses (7): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=Item https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=Problem https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=Usage https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=dead_required_option https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=kind_required_allowed