This should ideally be consistency-checked in UnoidlProvider

...but is not, for performance reasons.

Change-Id: I2518eb1f1a2f84cfd836c390a418a2fcb516b82c