{"ast_node_type":"other","tokens":[{"end":43,"kind":"keyword","start":0,"text":")"}]}
    ) -> Result<Candidate<I>, NoSolution> {
        then: impl FnOnce(&mut EvalCtxt<'_, D>) -> QueryResult<I>,
        Self::fast_reject_assumption(ecx, goal, assumption)?;