Method overload resolution in C# 6.0: an interesting bug story