Conditional operators and definite assignment

[AndreasHeisel]

I first reported this at the roslyn repository , but was told that this is a language thing.

I purpose to refine the definite assignment specification to cover the case described below:

I don't understand why I get an error if I use ?. but not if I use != null in the example below.

Version Used:

Visual Studio 16.6.3, .NET Core 3.1 Console Application

Steps to Reproduce:

using System.Collections.Generic;

namespace RoslynTest
{
	class Program
	{
		class SomeClass
		{
			public Dictionary<string, string> SomeProperty { get; } = new Dictionary<string, string>();
		}

		static SomeClass? MyProperty { get; }

		static void Main(string[] args)
		{
			{
				// Doesn:t work
				if (MyProperty?.SomeProperty.TryGetValue("key", out var value) == true)
				{
					//Error CS0165  Use of unassigned local variable 'value'  RoslynTest C:\Users\h165\source\repos\RoslynTest\RoslynTest\Program.cs 21  Active
					value.ToString();
				}


				// Works
				if (MyProperty != null && MyProperty.SomeProperty.TryGetValue("key", out var value2))
				{
					//no error
					value.ToString();
				}
			}
		}
	}
}

Expected Behavior:

No errors

Actual Behavior:

CS0165

[yaakov-h]

#3365 proposes to make this possible.

[jnm2]

Direct duplicate of #3365

[333fred]

Closing as a duplicate.