{"ast_node_type":"other","tokens":[{"end":11,"kind":"keyword","start":0,"text":")"}]}
        ) {
                .map(|trait_ref| trait_ref.to_host_effect_clause(cx, goal.predicate.constness)),
            candidates.extend(Self::probe_and_match_goal_against_assumption(