User model stacking
Kevin Bourrillion
kevinb at google.com
Thu Apr 28 01:38:35 UTC 2022
On Wed, Apr 27, 2022 at 9:36 PM Kevin Bourrillion <kevinb at google.com> wrote:
(Type R) e.g. Rational, EmployeeId: the default value is illegal; can't
> even construct it on purpose. Every method on it *should* call
> `checkValid()` first. Might as well repurpose it as a pseudo-null. Bugs
> could be prevented by some analogue of aftermarket nullness analysis.
>
This is me admitting defeat on the rule *I've* meant by "no new nulls". Not
sure if it's how others have used it too.
--
Kevin Bourrillion | Java Librarian | Google, Inc. | kevinb at google.com
More information about the valhalla-spec-observers
mailing list