I would much prefer not to rely on undocumented and subtle behavior like that. At a minimum we should assert that we only get one of those calls (with a brief comment about why).