Fix type for "whole" (#1337)

This commit is contained in:
Unknown6656 2018-02-26 21:39:07 +01:00 committed by Julien Couvreur
parent b650b02f3d
commit cc23b5f6bd

View file

@ -127,7 +127,7 @@ This is probably right. We'll think about this more, but let's go with covarianc
# Null warnings
Feedback: Fine to warn in most places where a null value is given a nonnullable type, but we should beware of a "sea of warnings" effect. Specifically, we shouldn't warn on array creation, as in `new string[10]`, even though it creates a hole array of undesired nulls, because it is so common in current code, and couldn't have been done "safely" before.
Feedback: Fine to warn in most places where a null value is given a nonnullable type, but we should beware of a "sea of warnings" effect. Specifically, we shouldn't warn on array creation, as in `new string[10]`, even though it creates a whole array of undesired nulls, because it is so common in current code, and couldn't have been done "safely" before.
## Conclusion