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