(there was a problem that would reject a pair of branches
where one was shared and the other was not, regardless of
whether they had the same type)