syntax_data: {"ast_node_type":"variable","tokens":[{"end":76,"kind":"keyword","start":0,"text":"let"}]}
source_snippet:                 let predicate = ty::Binder::dummy(ty::PredicateKind::Clause(
context_after:                     ty::ClauseKind::ConstEvaluatable(c),