Not nullable not enforced?

Elements
1

@mh
I have the following code that I expect a NRE, or some warning/errros, but not. Did I miss anything?
2020-01-09_11-25-59

not_nullable_test.7z (4.7 KB)

2

Thanks, logged as bugs://83758

3

Indeed, the call to Test() should NRE at the call site.

4

It does?

Unhandled Exception: System.ArgumentNullException: Value cannot be null.
Parameter name: aStr
   at ConsoleApplication1.Program.Test(String aStr)
   at ConsoleApplication1.Program.Main(String[] args)

The compiler doesn’t do compile time warnings because nothing in any framework has proper not nullable annotations, so we’d have 1000s of useless warnings.

5

bugs://83758 got closed with status nochangereq.

6

@ck

That is so strange.I understand it should be runtime exception. But I don’t see this exception thrown during run time. The build version I use is: 2470, (latest, from FireHose, just downloaded at 8:19 am, EST), and I use VS2019/Island.

7

ah I copied it and tested it on Echoes. I’ll try your testcas and reopen it.

8

bugs://83758 got reopened.

9

bugs://83758 got closed with status fixed.