interface IBase { }
        interface IDerived : IBase { }
        void M(IBase x)
        {
            x.ToString();
            if (x is IDerived)
            {
                x.ToString();                
            }
            else
            {
                x.ToString(); // unexpected warning
            }
            x.ToString(); // unexpected warning
        }