{"ast_node_type":"other","tokens":[{"end":73,"kind":"keyword","start":0,"text":"///"}]}
/// by calling `enter` with a closure `f`. That function creates both the
/// operations are done via `TyCtxt`. A `TyCtxt` is obtained for a `GlobalCtxt`
/// `TyCtxt`, and an `ImplicitCtxt` around it that is put into TLS. Within `f`: