Javac should check that types annotated with @FunctionalInterface are indeed functional interfaces Reviewed-by: jjg