Version Used: f29f937

Steps to Reproduce:

Change this method to the following:

        /// <summary>
        /// A rope can wrap a simple string.
        /// </summary>
        public static Rope ForString(string s!!)
        {
            return new StringRope(s);
        }

Expected Behavior: No "fix formatting" warning is given

Actual Behavior: "Fix formatting" warning is given, and the suggested fix appears to be empty