syntax_data: {"ast_node_type":"other","tokens":[{"end":95,"kind":"keyword","start":0,"text":"//"}]}
source_snippet:                             // variance field from the ascription refers to the variance to use
context_before:                             // We always use invariant as the variance here. This is because the
context_after:                             // when applying the type to the value being matched, but this