{"ast_node_type":"other","tokens":[{"end":77,"kind":"keyword","start":0,"text":"///"}]}
    /// as  `take_registered_region_obligations` can mess up query responses,
    /// because the `InferCtxt` is much more general than `EvalCtxt`. Methods such
    /// using `At::normalize` is totally wrong, calling `evaluate_root_goal` can