Reference-default style

Brian Goetz brian.goetz at
Fri Feb 7 23:39:06 UTC 2020

> (To remind everyone:  We are using two half-buckets rather than one bucket
> mainly so that Optional can be migrated.  If it were just supporting V? then
> we’d use an empty marker type, I think, probably just an interface.)

The two half buckets also exist because it is how we get primitives and 
inlines to be the same thing, and not end up with THREE kinds of types.

More information about the valhalla-spec-observers mailing list