De acuerdo con JLS (§18.1.3) "Límites" : especifica con respecto a la inferencia de throws α :

Un límite de la forma throws α es puramente informativo: dirige la resolución para optimizar la creación de instancias de α para que, si es posible, no sea un tipo de excepción comprobada.

• esto indica que α debe optimizarse para crear instancias como un tipo de excepción no verificado .

Pero en el JLS (§18.1.2) "Fórmulas de restricción" : de las cuales se inferirán los límites como paso posterior:

‹LambdaExpression →throws T›: Las excepciones verificadas lanzadas por el cuerpo de LambdaExpression son declaradas por la cláusula throws del tipo de función derivada de T.

• esto dice que α representa una instanciación de un tipo de excepción verificada .

Con respecto a las instanciaciones de α , se presentan 2 pensamientos en conflicto. ¿Me estoy perdiendo de algo?