[hibernate-dev] PK columns and nullability

We have a Pull Request[1] to add a feature to allows Dialects to enforce that all columns making up a primary key are defined as non-nullable. Specifically, apparently Teradata will barf if the PK is defined over columns that are nullable. The PR focuses on exporting the table/pk. However, Hibernate overall makes the assumption that all PK columns are non-nullable. So I wonder if we ought to just enforce that in the mapping layer. Thoughts? [1] https://github.com/hibernate/hibernate-orm/pull/1059