{"ast_node_type":"other","tokens":[{"end":74,"kind":"keyword","start":0,"text":"///"}]}
/// An implementation detail: `TyCtxt` is a wrapper type for [GlobalCtxt],
///
/// which is the struct that actually holds all the data. `TyCtxt` derefs to