If the first or second example would cause compiler error, it means that you would need to annotate every library usage. Your code will be full of casts on almo

If the first or second example would cause compiler error, it means that you would need to annotate every library usage. Your code will be full of casts on almost every line, until the given library would migrate to null types, if ever. It makes no sense. For example they explicitly saying that standard library will not migrate to null types, at least for now.