{"ast_node_type":"other","tokens":[{"end":30,"kind":"keyword","start":0,"text":"assumption:"}]}
        assumption: I::Clause,
        param_env: I::ParamEnv,
    ) -> Result<CandidateSource<I>, NoSolution> {