{"ast_node_type":"other","tokens":[{"end":49,"kind":"keyword","start":0,"text":")"}]}
    ) -> Result<CandidateSource<I>, NoSolution> {
        assumption: I::Clause,
        // FIXME: This should be fixed, but it also requires changing the behavior