An example of substituability test that is recursive

John Rose john.r.rose at
Thu Jan 31 19:45:13 UTC 2019

On Jan 31, 2019, at 10:52 AM, Brian Goetz <brian.goetz at> wrote:
> Let’s not do this to Java, shall we?
> <>
>> solution 2: you claim it's too complex and you just let the user deal with it by calling equals() (and provide a way for a user to call the default subs).

That one motivated this:

More information about the valhalla-spec-observers mailing list