> On 21 Oct 2019, at 10:50, Gavin Bierman <gavin.bier...@oracle.com> 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.
-Chris.
