Bugfix - 'static meme x = x' should fail

src/Compiler/FSComp.txt

@@ -1735,4 +1735,5 @@ featureReuseSameFieldsInStructUnions,"Share underlying fields in a [<Struct>] di
 3855,tcNoStaticMemberFoundForOverride,"No static abstract member was found that corresponds to this override"
 3859,tcNoStaticPropertyFoundForOverride,"No static abstract property was found that corresponds to this override"
 3860,chkStaticMembersOnObjectExpressions,"Object expressions cannot implement interfaces with static abstract members or declare static members."
-3861,chkTailCallAttrOnNonRec,"The TailCall attribute should only be applied to recursive functions."
+3861,chkTailCallAttrOnNonRec,"The TailCall attribute should only be applied to recursive functions."
+3862,parsStaticMemberImcompleteSyntax,"Incomplete declaration of a static construct. Use 'static let','static do','static member' or 'static val' for declaration."

src/Compiler/pars.fsy

@@ -1988,6 +1988,9 @@ classDefnMember:
        if Option.isSome $2 then
            errorR (Error (FSComp.SR.parsVisibilityDeclarationsShouldComePriorToIdentifier (), rhs parseState 2))
        let flags = $3
+       match flags with
+       | _, SynLeadingKeyword.Static(mStatic) -> errorR (Error (FSComp.SR.parsStaticMemberImcompleteSyntax (), mStatic))
+       | _ -> ()
        $4 $2 flags $1 rangeStart }
 
   | opt_attributes opt_access memberFlags recover

tests/service/SyntaxTreeTests.fs

@@ -190,7 +190,7 @@ let ParseFile fileName =
     let equals = expected = actual
     let testUpdateBSLEnv = System.Environment.GetEnvironmentVariable("TEST_UPDATE_BSL")
 
-    if not (isNull testUpdateBSLEnv) && testUpdateBSLEnv.Trim() = "1" then
+    if not (isNull testUpdateBSLEnv) && testUpdateBSLEnv.Trim() = "1" && not equals then
         File.WriteAllText(bslPath, actual)
     elif not equals then
         File.WriteAllText(actualPath, actual)

tests/service/data/SyntaxTree/Member/MemberMispelledToMeme.fs

@@ -0,0 +1,2 @@
+type Seq =
+   static meme average (x: int seq) = x

tests/service/data/SyntaxTree/Member/MemberMispelledToMeme.fs.bsl

@@ -0,0 +1,62 @@
+ImplFile
+  (ParsedImplFileInput
+     ("/root/Member/MemberMispelledToMeme.fs", false,
+      QualifiedNameOfFile MemberMispelledToMeme, [], [],
+      [SynModuleOrNamespace
+         ([MemberMispelledToMeme], false, AnonModule,
+          [Types
+             ([SynTypeDefn
+                 (SynComponentInfo
+                    ([], None, [], [Seq],
+                     PreXmlDoc ((1,0), FSharp.Compiler.Xml.XmlDocCollector),
+                     false, None, (1,5--1,8)),
+                  ObjectModel
+                    (Unspecified,
+                     [Member
+                        (SynBinding
+                           (None, Normal, false, false, [],
+                            PreXmlDoc ((2,3), FSharp.Compiler.Xml.XmlDocCollector),
+                            SynValData
+                              (Some { IsInstance = false
+                                      IsDispatchSlot = false
+                                      IsOverrideOrExplicitImpl = false
+                                      IsFinal = false
+                                      GetterOrSetterIsCompilerGenerated = false
+                                      MemberKind = Member },
+                               SynValInfo
+                                 ([[SynArgInfo ([], false, Some average)];
+                                   [SynArgInfo ([], false, Some x)]],
+                                  SynArgInfo ([], false, None)), None),
+                            LongIdent
+                              (SynLongIdent ([meme], [], [None]), None, None,
+                               Pats
+                                 [Named
+                                    (SynIdent (average, None), false, None,
+                                     (2,15--2,22));
+                                  Paren
+                                    (Typed
+                                       (Named
+                                          (SynIdent (x, None), false, None,
+                                           (2,24--2,25)),
+                                        App
+                                          (LongIdent
+                                             (SynLongIdent ([seq], [], [None])),
+                                           None,
+                                           [LongIdent
+                                              (SynLongIdent ([int], [], [None]))],
+                                           [], None, true, (2,27--2,34)),
+                                        (2,24--2,34)), (2,23--2,35))], None,
+                               (2,10--2,35)), None, Ident x, (2,10--2,35),
+                            NoneAtInvisible,
+                            { LeadingKeyword = Static (2,3--2,9)
+                              InlineKeyword = None
+                              EqualsRange = Some (2,36--2,37) }), (2,3--2,39))],
+                     (2,3--2,39)), [], None, (1,5--2,39),
+                  { LeadingKeyword = Type (1,0--1,4)
+                    EqualsRange = Some (1,9--1,10)
+                    WithKeyword = None })], (1,0--2,39))], PreXmlDocEmpty, [],
+          None, (1,0--2,39), { LeadingKeyword = None })], (true, true),
+      { ConditionalDirectives = []
+        CodeComments = [] }, set []))
+
+(2,3)-(2,9) parse error Incomplete declaration of a static construct. Use 'static let','static do','static member' or 'static val' for declaration.