[Proposal]: Improvement to nullable flow analysis when type can be determined

[mikernet]

• Proposed
• Prototype: Not Started
• Implementation: Not Started
• Specification: Not Started

Summary

This is fairly simple and self-explanatory: if the type T can be determined via flow analysis to be a value type then it should not require null forgiveness on T type values:

void Method<T>(T value)
{
    if (typeof(T) == typeof(int))
    {
        // treat 'value' or any other T type field/variable/etc as non-null here 
        // (currently requires null forgiveness operator)
    }
}