Inline Temporary fails to simplify global:: in top-level statements

[sharwell]

Steps to Reproduce:

Inline val2:

int val = 0;
int val2 = val + 1;
System.Console.WriteLine(val2);

Expected Behavior:

int val = 0;
System.Console.WriteLine(val + 1);

Actual Behavior:

int val = 0;
global::System.Console.WriteLine(val + 1);

Additional Notes:

When the reducer compares the bound symbols for global::System.Console.WriteLine (original semantic model) and System.Console.WriteLine (speculative semantic model), the former is binding to WriteLine(int) but the latter is reporting an overload resolution failure with 19 candidates.