{"ast_node_type":"import","tokens":[{"end":43,"kind":"keyword","start":0,"text":"///"}]}
    /// cause coinductive unsoundness, etc.
    /// using `At::normalize` is totally wrong, calling `evaluate_root_goal` can
    ///