syntax_data: {"ast_node_type":"other","tokens":[{"end":9,"kind":"keyword","start":0,"text":"{"}]}
source_snippet:         {
context_before:             && let Constructor::Variant(variant_index) = witness_1.ctor()
context_after:             let variant_inhabited = adt