The relevant Java specification is:

  * https://docs.oracle.com/javase/specs/jls/se15/html/jls-3.html#jls-3.8

Tom.

On 9/15/20 11:23 AM, Steve Downey via SG16 wrote:
> I know we've discussed them before, but when trying to track down
> actual references for purposes of including in a paper, I keep failing
> at Google.
>
> Asking for help so that R7 will be better.
>
> PR's also welcome on https://github.com/steve-downey/papers/blob/master/d1949.md