I was re-reading JEP 405, 'var foo' is accepted by the grammar as Type Pattern but there is no section explicitly mentioning that. Maybe i'm wrong and 'var foo' is already supported in Java 17, if it's not the case, i think we should add a section about the Type Pattern being enhanced to support 'var'. regards, Rémi