{"ast_node_type":"other","tokens":[{"end":80,"kind":"keyword","start":0,"text":"///"}]}
    /// using `At::normalize` is totally wrong, calling `evaluate_root_goal` can
    /// as  `take_registered_region_obligations` can mess up query responses,
    /// cause coinductive unsoundness, etc.