Nullable Flow Analysis Mastery Check

It replaces the named construct with a different feature that happens to produce similar output. It demonstrates the language behavior defined by Nullable Flow Analysis, using the construct directly so its effect can be traced from input to result. It proves every boundary case is safe merely because the shown happy path runs. It only changes comments or naming while leaving the relevant language behavior untouched.