syntax_data: {"ast_node_type":"other","tokens":[{"end":103,"kind":"keyword","start":0,"text":"coverage_options:"}]}
source_snippet:     coverage_options: CoverageOptions = (CoverageOptions::default(), parse_coverage_options, [TRACKED],
context_before:         "emit runtime checks for contract pre- and post-conditions (default: no)"),
context_after:         "control details of coverage instrumentation"),