Well, null safety is a good start. But I seem to remember that the type-checker got confused rather easily with nested closures, for instance, or co/contra-var

Well, null safety is a good start. But I seem to remember that the type-checker got confused rather easily with nested closures, for instance, or co/contra-variance.