Yes.  IIRC a previous version sanity-checked this and allowed it to proceed, but I backed it out during simplification.  We should absolutely be able to remove this.