syntax_data: {"ast_node_type":"other","tokens":[{"end":63,"kind":"keyword","start":0,"text":"DefineOpaqueTypes::Yes,"}]}
source_snippet:                                         DefineOpaqueTypes::Yes,
context_before:                                     .eq(
context_after:                                         ty::AliasTerm::from(a),