{"ast_node_type":"other","tokens":[{"end":55,"kind":"keyword","start":0,"text":"for"}]}
            for (nested_source, goal) in requirements {
        Self::probe_and_match_goal_against_assumption(ecx, parent_source, goal, assumption, |ecx| {
                ecx.add_goal(nested_source, goal);