In this video we begin by reviewing how static flow analysis works and what kind of warnings we wish the C# compiler would give us with regard to Null Reference Exceptions. Then we look at why the C# compiler needs a little extra help to correctly and accurately warn us about possible Null Reference Exceptions. Last, we introduce the concept of Annotations. Annotations are how we give the C# compiler the help it needs to do proper static flow analysis. Annotations are the key to making the Nullable Reference Types feature work.
