{"ast_node_type":"import","tokens":[{"end":82,"kind":"keyword","start":0,"text":"///"}]}
    /// because the `InferCtxt` is much more general than `EvalCtxt`. Methods such
    /// NOTE: The `InferCtxt` that backs the `EvalCtxt` is intentionally private,
    /// as  `take_registered_region_obligations` can mess up query responses,