syntax_data: {"ast_node_type":"other","tokens":[{"end":43,"kind":"keyword","start":0,"text":"WrapBinderMode::ForAll,"}]}
source_snippet:                     WrapBinderMode::ForAll,
context_before:                     &bound_args_and_self_ty,
context_after:                     |(args, _), p| {