{"ast_node_type":"other","tokens":[{"end":39,"kind":"keyword","start":0,"text":")"}]}
    ) -> Result<I::Const, NoSolution> {
        ct: I::Const,
        self.structurally_normalize_term(param_env, ct.into()).map(|term| term.expect_const())