def require_target_fault

cli@0.2.0.0 · cli.bend:4160

import Base

4160def require_target_fault(target: Maybe<&2, ArgInfo>,
4161    +requester: ArgInfo, fields: List<&2, Field>) ->
4162    Maybe<&2, ScanFault>:
4163  match target:
4164    case None{}: None{}
4165    case Some{+needed}:
4166      Bool.pick(Maybe<&2, ScanFault>,
4167        Bool.not(field_given(fields, info_id(needed))),
4168        Some{E08{arg_display(requester), arg_display(needed)}},
4169        None{})