We were using a property getter for a singleton that starts out as null, so the type was simply Object. By switching to a method getter we can specify the type as not null and this provides better type information (and highlights several "discarded futures" problems that already exist and should be addressed in the future).
jgfoster
commented
1 year ago
We were using a property getter for a singleton that starts out as null, so the type was simply Object. By switching to a method getter we can specify the type as not null and this provides better type information (and highlights several "discarded futures" problems that already exist and should be addressed in the future).