{"ast_node_type":"other","tokens":[{"end":51,"kind":"keyword","start":0,"text":")"}]}
    ) -> Option<Result<Candidate<I>, NoSolution>> {
        goal: Goal<I, TraitPredicate<I>>,
        let self_ty = goal.predicate.self_ty();