syntax_data: {"ast_node_type":"other","tokens":[{"end":40,"kind":"keyword","start":0,"text":"RePlaceholder(I::PlaceholderRegion),"}]}
source_snippet:     RePlaceholder(I::PlaceholderRegion),
context_before:     /// Used when instantiating a `forall` binder via `infcx.enter_forall`.