{"ast_node_type":"other","tokens":[{"end":84,"kind":"keyword","start":0,"text":"///"}]}
    /// this just dispatches to [`WfCheckingCtxt::normalize`], but in the new solver
    /// Convenience function to *deeply* normalize during wfcheck. In the old solver,
    /// this calls `deeply_normalize` and reports errors if they are encountered.