Rename

Author: auduchinok

src/Compiler/Checking/NameResolution.fs

@@ -1709,7 +1709,8 @@ type ItemOccurence =
     | RelatedText
     /// This is a usage of a module or namespace name in open statement
     | Open
-    | WrongUse
+    /// Not permitted item uses like interface names used as expressions
+    | InvalidUse
 
 type FormatStringCheckContext =
     { SourceText: ISourceText
@@ -4078,7 +4079,7 @@ let ResolveLongIdentAsExprAndComputeRange (sink: TcResultsSink) (ncenv: NameReso
                 AfterResolution.RecordResolution(None, (fun tpinst -> callSink(item, tpinst)), callSinkWithSpecificOverload, (fun () -> callSink (item, emptyTyparInst)))
 
             elif isWrongItemInExpr item then
-               CallNameResolutionSink sink (itemRange, nenv, item, emptyTyparInst, ItemOccurence.WrongUse, ad)
+               CallNameResolutionSink sink (itemRange, nenv, item, emptyTyparInst, ItemOccurence.InvalidUse, ad)
                AfterResolution.DoNothing
 
             else

src/Compiler/Checking/NameResolution.fsi

@@ -382,7 +382,7 @@ type internal ItemOccurence =
     | Implemented
     | RelatedText
     | Open
-    | WrongUse
+    | InvalidUse
 
 /// Check for equality, up to signature matching
 val ItemsAreEffectivelyEqual: TcGlobals -> Item -> Item -> bool

src/Compiler/Service/FSharpCheckerResults.fs

@@ -483,7 +483,7 @@ type internal TypeCheckInfo
         //
         // If we're looking for members using a residue, we'd expect only
         // a single item (pick the first one) and we need the residue (which may be "")
-        | CNR(_, ItemOccurence.WrongUse, _, _, _, _) :: _, _ -> NameResResult.Empty
+        | CNR(_, ItemOccurence.InvalidUse, _, _, _, _) :: _, _ -> NameResResult.Empty
 
         | CNR(Item.Types(_, ty :: _), _, denv, nenv, ad, m) :: _, Some _ ->
             let targets =