def bad_default
import cli@0.2.0.0/cli.bend as Cliimport Base
2109def bad_default(required: Bool, issue: Maybe<&2, Bad>, value: String,
2110 id: String, at: String) -> List<&2, Problem>:
2111 match required issue:
2112 case True{} _: [BadDefault{at, id, value}]
2113 case False{} Some{Bad{bad, why}}: [BadDefault{at, id, bad}]
2114 case False{} None{}: Nil{}