> On 21 Oct 2019, at 15:49, Chris Hegarty <[email protected]> wrote:
>
>
>
>> On 21 Oct 2019, at 10:50, Gavin Bierman <[email protected]> wrote:
>>
>> A second, and hopefully final, draft language spec for JEP 305 (Pattern
>> matching for instanceof) is available at:
>>
>> http://cr.openjdk.java.net/~gbierman/jep305/jep305-20191021/specs/patterns-instanceof-jls.html
>
> While proofreading, I came across a minor issue in 15.20.2:
>
> "• The expression RelationalExpression is compatible with the type
> ReferenceType if (i) RelationalExpression can be converted to type
> ReferenceType by casting conversion (5.5), and (ii) the casting conversion
> does not make use of a narrowing reference conversion which is unchecked
> (5.1.6.2). If ReferenceType is not compatible with ReferenceType then a
> compile-time error occurs."
>
> Should be:
> If *RelationalExpression* is not compatible with ReferenceType then a
> compile-time error occurs.
Thanks. Will fix.
Gavin
