[Fact]
public void TestDataFlowsStackArrayInit_01()
{
	var analysis = CompileAndAnalyzeDataFlowExpression(@"
class C {
	public void F(int x)
	{
		int a = 1, y = 2;
		var b = stackalloc int[] /*<bind>*/{ a + x + 3 } /*</bind>*/;
		int c = a + 4 + y;
	}
}");
	Assert.Equal("x, a", GetSymbolNamesJoined(analysis.DataFlowsIn));
}