javac doesn't report such cases and most probably method with functional interface must be deprecated as well, so deprecation would be visible; otherwise too much code would be crossed out GitOrigin-RevId: b75feb5a4052d6da9355bda1f37374c66d964b29