25.2.0
Mention what argument has both annotation and type argument (#1410)
Introduce NothingType (#1358)