Param-nullchecking doesn't work properly with formatting analyzer

[RikkiGibson]

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

[RikkiGibson]

I think the issue here is that an old version of the formatting analyzer is used here, instead of the one used in the SDK or the one used during the build (i.e. in Build.cmd -deployExtensions -launch scenario).