Are you sure that this branch only happens for typedefs?