WarOn 1182 and 3390.

Directory.Build.props

@@ -6,6 +6,7 @@
     <PackageLicenseExpression Condition=" '$(PackAsTool)' != 'true' ">Apache-2.0</PackageLicenseExpression>
     <NoWarn>$(NoWarn);3186,0042</NoWarn><!-- circumvent an error with the fake dependencymanager for paket: https://github.com/dotnet/fsharp/issues/8678 -->
     <NoWarn>$(NoWarn);NU1902</NoWarn><!-- NU1902 - package vulnerability detected -->
+    <WarnOn>1182;3390;$(WarnOn)</WarnOn>
     <TreatWarningsAsErrors>true</TreatWarningsAsErrors>
     <ChangelogFile>$(MSBuildThisFileDirectory)CHANGELOG.md</ChangelogFile>
   </PropertyGroup>

benchmarks/Program.fs

@@ -1,4 +1,5 @@
 namespace Benchmarks
+
 open System
 open BenchmarkDotNet
 open BenchmarkDotNet.Attributes
@@ -11,6 +12,6 @@ open System.Security.Cryptography
 module EntryPoint =
 
   [<EntryPoint>]
-  let main argv =
-    let summary = BenchmarkRunner.Run<SourceText_LineChanges_Benchmarks>();
+  let main _argv =
+    let _summary = BenchmarkRunner.Run<SourceText_LineChanges_Benchmarks>()
     0

build/Program.fs

@@ -43,8 +43,6 @@ let init args =
   Context.setExecutionContext (Context.RuntimeContext.Fake execContext)
   Target.initEnvironment ()
 
-  let fsacAssemblies = "FsAutoComplete|FsAutoComplete.Core|LanguageServerProtocol"
-
   let packAsToolProp = "PackAsTool", "true"
 
   Target.create "LspTest" (fun _ ->

src/FsAutoComplete.Core/AbstractClassStubGenerator.fs

@@ -34,7 +34,7 @@ let private (|ExplicitCtor|_|) =
   | _ -> None
 
 /// checks to see if a type definition inherits an abstract class, and if so collects the members defined at that
-let private walkTypeDefn (SynTypeDefn(info, repr, members, implicitCtor, range, trivia)) =
+let private walkTypeDefn (SynTypeDefn(_, repr, members, implicitCtor, _, _)) =
   option {
     let reprMembers =
       match repr with
@@ -46,7 +46,7 @@ let private walkTypeDefn (SynTypeDefn(info, repr, members, implicitCtor, range,
     let! inheritType, inheritMemberRange = // this must exist for abstract types
       allMembers
       |> List.tryPick (function
-        | SynMemberDefn.ImplicitInherit(inheritType, inheritArgs, alias, range) -> Some(inheritType, range)
+        | SynMemberDefn.ImplicitInherit(inheritType, _, _, range) -> Some(inheritType, range)
         | _ -> None)
 
     let furthestMemberToSkip, otherMembers =
@@ -81,13 +81,14 @@ let private tryFindAbstractClassExprInParsedInput
     { new SyntaxVisitorBase<_>() with
         member _.VisitExpr(path, traverseExpr, defaultTraverse, expr) =
           match expr with
-          | SynExpr.ObjExpr(baseTy, constructorArgs, withKeyword, bindings, members, extraImpls, newExprRange, range) ->
+          | SynExpr.ObjExpr(
+              objType = baseTy; withKeyword = withKeyword; bindings = bindings; newExprRange = newExprRange) ->
             Some(AbstractClassData.ObjExpr(baseTy, bindings, newExprRange, withKeyword))
           | _ -> defaultTraverse expr
 
         override _.VisitModuleDecl(_, defaultTraverse, decl) =
           match decl with
-          | SynModuleDecl.Types(types, m) -> List.tryPick walkTypeDefn types
+          | SynModuleDecl.Types(types, _) -> List.tryPick walkTypeDefn types
           | _ -> defaultTraverse decl }
   )
 
@@ -103,12 +104,12 @@ let tryFindAbstractClassExprInBufferAtPos
     return! tryFindAbstractClassExprInParsedInput pos parseResults.ParseTree
   }
 
-let getMemberNameAndRanges (abstractClassData) =
+let getMemberNameAndRanges abstractClassData =
   match abstractClassData with
   | AbstractClassData.ExplicitImpl(members = members) ->
     members
     |> Seq.choose (function
-      | (SynMemberDefn.Member(binding, _)) -> Some binding
+      | SynMemberDefn.Member(binding, _) -> Some binding
       | _ -> None)
     |> Seq.choose (|MemberNamePlusRangeAndKeywordRange|_|)
     |> Seq.toList
@@ -129,7 +130,7 @@ let inferStartColumn
     | AbstractClassData.ExplicitImpl(inheritExpressionRange = inheritRange) ->
       // 'interface ISomething with' is often in a new line, we use the indentation of that line
       inheritRange.StartColumn
-    | AbstractClassData.ObjExpr(newExpression = newExpr; withKeyword = withKeyword; bindings = bindings) ->
+    | AbstractClassData.ObjExpr(newExpression = newExpr; withKeyword = withKeyword; bindings = _) ->
       // two cases here to consider:
       // * has a with keyword on same line as newExpr
       match withKeyword with
@@ -152,19 +153,19 @@ let writeAbstractClassStub
   (codeGenServer: ICodeGenerationService)
   (checkResultForFile: ParseAndCheckResults)
   (doc: IFSACSourceText)
-  (lineStr: string)
+  (_: string)
   (abstractClassData: AbstractClassData)
   =
   asyncOption {
     let pos =
       Position.mkPos
         abstractClassData.AbstractTypeIdentRange.Start.Line
-        (abstractClassData.AbstractTypeIdentRange.End.Column)
+        abstractClassData.AbstractTypeIdentRange.End.Column
 
-    let! (_lexerSym, usages) = codeGenServer.GetSymbolAndUseAtPositionOfKind(doc.FileName, pos, SymbolKind.Ident)
+    let! _lexerSym, usages = codeGenServer.GetSymbolAndUseAtPositionOfKind(doc.FileName, pos, SymbolKind.Ident)
     let! usage = usages
 
-    let! (displayContext, entity) =
+    let! displayContext, entity =
       asyncOption {
         // need the enclosing entity because we're always looking at a ctor, which isn't an Entity, but a MemberOrFunctionOrValue
         match usage.Symbol with
@@ -177,7 +178,7 @@ let writeAbstractClassStub
         | _ -> return! None
       }
 
-    let getMemberByLocation (name: string, range: Range, keywordRange: Range) =
+    let getMemberByLocation (_: string, range: Range, _: Range) =
       match doc.GetLine range.Start with
       | Some lineText ->
         match Lexer.getSymbol range.Start.Line range.Start.Column lineText SymbolLookupKind.ByLongIdent [||] with

src/FsAutoComplete.Core/AdaptiveExtensions.fs

@@ -77,7 +77,7 @@ type MapDisposableTupleVal<'T1, 'T2, 'Disposable when 'Disposable :> IDisposable
 
     match cache with
     | ValueSome(struct (a, b, _)) when Utils.cheapEqual a i -> b
-    | ValueSome(struct (a, b, c)) ->
+    | ValueSome(struct (_, _, c)) ->
       (c :> IDisposable).Dispose()
       let (b, c) = mapping i
       cache <- ValueSome(struct (i, b, c))
@@ -209,7 +209,7 @@ module AMap =
         dirty <- HashMap.empty
         d)
 
-    override x.InputChangedObject(t, o) =
+    override x.InputChangedObject(_, o) =
 #if FABLE_COMPILER
       if isNull o.Tag then
         let o = unbox<aval<'b>> o
@@ -316,7 +316,7 @@ module AMap =
     =
     let mapping =
       mapping
-      >> HashMap.map (fun _ v -> AVal.constant v |> AVal.mapWithAdditionalDependencies (id))
+      >> HashMap.map (fun _ v -> AVal.constant v |> AVal.mapWithAdditionalDependencies id)
 
     batchRecalcDirty mapping map
 
@@ -416,7 +416,7 @@ module Async =
       return! ct.Task |> Async.AwaitTask
     }
 
-[<AutoOpenAttribute>]
+[<AutoOpen>]
 module Extensions =
 
   type IcedTasks.CancellableTaskBase.CancellableTaskBuilderBase with

src/FsAutoComplete.Core/CodeGeneration.fs

@@ -554,7 +554,7 @@ module CodeGenerationUtils =
 
   let getAbstractNonVirtualMembers (e: FSharpEntity) =
     seq {
-      let genericParams = e.GenericParameters :> seq<_>
+      let _genericParams = e.GenericParameters :> seq<_>
       // todo: generic param instantiations?
       yield!
         e.MembersFunctionsAndValues

src/FsAutoComplete.Core/Commands.fs

@@ -248,7 +248,6 @@ module Commands =
     (tyRes: ParseAndCheckResults)
     (pos: Position)
     (lines: IFSACSourceText)
-    (line: LineStr)
     =
     async {
       let doc = docForText lines tyRes
@@ -363,7 +362,6 @@ module Commands =
     (tyRes: ParseAndCheckResults)
     (pos: Position)
     (lines: ISourceText)
-    (line: LineStr)
     =
     async {
 
@@ -562,8 +560,8 @@ module Commands =
 
       let getStartingPipe =
         function
-        | y :: xs when y.TokenName.ToUpper() = "INFIX_BAR_OP" -> Some y
-        | x :: y :: xs when x.TokenName.ToUpper() = "WHITESPACE" && y.TokenName.ToUpper() = "INFIX_BAR_OP" -> Some y
+        | y :: _ when y.TokenName.ToUpper() = "INFIX_BAR_OP" -> Some y
+        | x :: y :: _ when x.TokenName.ToUpper() = "WHITESPACE" && y.TokenName.ToUpper() = "INFIX_BAR_OP" -> Some y
         | _ -> None
 
       let folder (lastExpressionLine, lastExpressionLineWasPipe, acc) (currentIndex, currentTokens) =
@@ -634,8 +632,8 @@ module Commands =
 
       let getStartingPipe =
         function
-        | y :: xs when y.TokenName.ToUpper() = "INFIX_BAR_OP" -> Some y
-        | x :: y :: xs when x.TokenName.ToUpper() = "WHITESPACE" && y.TokenName.ToUpper() = "INFIX_BAR_OP" -> Some y
+        | y :: _ when y.TokenName.ToUpper() = "INFIX_BAR_OP" -> Some y
+        | x :: y :: _ when x.TokenName.ToUpper() = "WHITESPACE" && y.TokenName.ToUpper() = "INFIX_BAR_OP" -> Some y
         | _ -> None
 
       let folder (lastExpressionLine, lastExpressionLineWasPipe, acc) (currentIndex, currentTokens) =
@@ -716,7 +714,7 @@ module Commands =
         // adjust column
         let pos =
           match pos with
-          | Pos(1, c) -> pos
+          | Pos(1, _) -> pos
           | Pos(l, 0) ->
             let prev = getLine (pos.DecLine())
             let indentation = detectIndentation prev
@@ -726,7 +724,7 @@ module Commands =
               Position.mkPos l indentation
             else
               pos
-          | Pos(_, c) -> pos
+          | Pos(_, _) -> pos
 
         { Namespace = n
           Position = pos
@@ -795,7 +793,6 @@ module Commands =
             match scope with
             | Some(SymbolDeclarationLocation.Projects(projects (*isLocalForProject=*) , true)) -> return projects
             | Some(SymbolDeclarationLocation.Projects(projects (*isLocalForProject=*) , false)) ->
-              let output = ResizeArray<_>()
 
               let! resolvedProjects =
                 [ for project in projects do
@@ -979,7 +976,7 @@ module Commands =
   ///
   /// Also does very basic validation of `newName`:
   /// * Must be valid operator name when operator
-  let adjustRenameSymbolNewName pos lineStr (text: IFSACSourceText) (tyRes: ParseAndCheckResults) (newName: string) =
+  let adjustRenameSymbolNewName pos lineStr (tyRes: ParseAndCheckResults) (newName: string) =
     asyncResult {
       let! symbolUse =
         tyRes.TryGetSymbolUse pos lineStr

src/FsAutoComplete.Core/Debug.fs

@@ -48,7 +48,7 @@ module Debug =
       return r
     }
 
-  let toggleVerboseLogging (verbose: bool) = () // todo: set logging latch
+  let toggleVerboseLogging (_verbose: bool) = () // todo: set logging latch
 
   let waitForDebugger () =
     while not (Diagnostics.Debugger.IsAttached) do

src/FsAutoComplete.Core/DocumentationFormatter.fs

@@ -587,7 +587,7 @@ module DocumentationFormatter =
 
     sprintf "active pattern %s: %s" apc.Name findVal
 
-  let getAttributeSignature displayContext (attr: FSharpAttribute) =
+  let getAttributeSignature (attr: FSharpAttribute) =
     let name =
       formatShowDocumentationLink
         attr.AttributeType.DisplayName
@@ -717,8 +717,7 @@ module DocumentationFormatter =
         |> Seq.map (fun inf -> fst (format displayContext inf))
         |> Seq.toArray
 
-      let attrs =
-        fse.Attributes |> Seq.map (getAttributeSignature displayContext) |> Seq.toArray
+      let attrs = fse.Attributes |> Seq.map getAttributeSignature |> Seq.toArray
 
       let types =
         fse.NestedEntities

src/FsAutoComplete.Core/DotnetNewTemplate.fs

@@ -130,8 +130,11 @@ module DotnetNewTemplate =
     let templates =
       templateDetails ()
       |> List.map (fun t -> t, extractDetailedString t)
-      |> List.filter (fun (t, strings) -> strings |> List.exists (nameMatch userInput))
-      |> List.map (fun (t, strings) -> t)
+      |> List.choose (fun (t, strings) ->
+        if strings |> List.exists (nameMatch userInput) then
+          Some t
+        else
+          None)
 
     match templates with
     | [] -> failwithf "No template exists with name : %s" userInput

src/FsAutoComplete.Core/FCSPatches.fs

@@ -477,7 +477,7 @@ module SyntaxTreeOps =
         (match copyInfo with
          | Some(e, _) -> walkExpr e
          | None -> false)
-        || walkExprs (recordFields |> List.map (fun (ident, range, expr) -> expr))
+        || walkExprs (recordFields |> List.map (fun (_ident, _range, expr) -> expr))
 
       | SynExpr.Record(copyInfo = copyInfo; recordFields = recordFields) ->
         (match copyInfo with
@@ -540,11 +540,11 @@ module SyntaxTreeOps =
             | SynInterpolatedStringPart.String _ -> None
             | SynInterpolatedStringPart.FillExpr(x, _) -> Some x)
         )
-      | SynExpr.IndexRange(expr1, opm, expr2, range1, range2, range3) ->
+      | SynExpr.IndexRange(expr1 = expr1; expr2 = expr2) ->
         Option.map walkExpr expr1
         |> Option.orElseWith (fun _ -> Option.map walkExpr expr2)
         |> Option.defaultValue false
-      | SynExpr.IndexFromEnd(expr, range) -> walkExpr expr
+      | SynExpr.IndexFromEnd(expr, _) -> walkExpr expr
       | SynExpr.DebugPoint(innerExpr = expr) -> walkExpr expr
       | SynExpr.Dynamic(funcExpr = funcExpr; argExpr = argExpr) -> walkExpr funcExpr || walkExpr argExpr
 

src/FsAutoComplete.Core/Fsdn.fs

@@ -67,7 +67,7 @@ let query (queryStr: string) =
 
         let info2 = v.api.name
         //return a list of strings
-        let infoNamespace = info2.``namespace``
+        let _infoNamespace = info2.``namespace``
         let infoClass = info2.class_name
         let infoMethod = info2.id
 

src/FsAutoComplete.Core/InlayHints.fs

@@ -100,7 +100,7 @@ type private FSharp.Compiler.CodeAnalysis.FSharpParseFileResults with
             match binding with
             | SynBinding(
                 headPat = SynPat.Named(range = patRange)
-                returnInfo = Some(SynBindingReturnInfo(typeName = SynType.LongIdent(idents)))) -> Some patRange
+                returnInfo = Some(SynBindingReturnInfo(typeName = SynType.LongIdent _))) -> Some patRange
             | _ -> defaultTraverse binding }
 
     let result = SyntaxTraversal.Traverse(pos, x.ParseTree, visitor)
@@ -316,16 +316,16 @@ module private ShouldCreate =
 
     isPostfixOf funcName paramName
 
-  /// </summary>
-  /// We filter out parameters that generate lots of noise in hints.
-  /// * parameter has no name
-  /// * parameter has length > 2
-  /// * parameter is one of a set of 'known' names that clutter (like printfn formats)
-  /// * param & function is "well known"/commonly used
-  /// * parameter does match or is a pre/postfix of user-entered text
-  /// * user-entered text does match or is a pre/postfix of parameter
-  /// * parameter is postfix of function name
-  /// </summary>
+  // /// <summary>
+  // /// We filter out parameters that generate lots of noise in hints.
+  // /// * parameter has no name
+  // /// * parameter has length > 2
+  // /// * parameter is one of a set of 'known' names that clutter (like printfn formats)
+  // /// * param & function is "well known"/commonly used
+  // /// * parameter does match or is a pre/postfix of user-entered text
+  // /// * user-entered text does match or is a pre/postfix of parameter
+  // /// * parameter is postfix of function name
+  // /// </summary>
   let paramHint (func: FSharpMemberOrFunctionOrValue) (p: FSharpParameter) (argumentText: string) =
     hasName p
     && isMeaningfulName p
@@ -620,7 +620,7 @@ let tryGetExplicitTypeInfo (text: IFSACSourceText, ast: ParsedInput) (pos: Posit
           | _ -> defaultTraverse expr
 
         member visitor.VisitPat(path, defaultTraverse, pat) =
-          let invalidPositionForTypeAnnotation (pos: Position) (path: SyntaxNode list) =
+          let invalidPositionForTypeAnnotation (path: SyntaxNode list) =
             match path with
             | SyntaxNode.SynExpr(SynExpr.LetOrUseBang(isUse = true)) :: _ ->
               // use! value =
@@ -641,7 +641,7 @@ let tryGetExplicitTypeInfo (text: IFSACSourceText, ast: ParsedInput) (pos: Posit
           // see dotnet/fsharp#13115
           // | _ when not (rangeContainsPos pat.Range pos) -> None
           | SynPat.Named(ident = SynIdent(ident = ident)) when
-            rangeContainsPos ident.idRange pos && invalidPositionForTypeAnnotation pos path
+            rangeContainsPos ident.idRange pos && invalidPositionForTypeAnnotation path
             ->
             ExplicitType.Invalid |> Some
           | SynPat.Named(ident = SynIdent(ident = ident); isThisVal = false) when rangeContainsPos ident.idRange pos ->
@@ -770,7 +770,7 @@ let private getArgRangesOfFunctionApplication (ast: ParsedInput) pos =
     { new SyntaxVisitorBase<_>() with
         member _.VisitExpr(_, traverseSynExpr, defaultTraverse, expr) =
           match expr with
-          | SynExpr.App(isInfix = false; funcExpr = funcExpr; argExpr = argExpr; range = range) when pos = range.Start ->
+          | SynExpr.App(isInfix = false; funcExpr = funcExpr; range = range) when pos = range.Start ->
             let isInfixFuncExpr =
               match funcExpr with
               | SynExpr.App(_, isInfix, _, _, _) -> isInfix
@@ -828,7 +828,7 @@ let private getArgRangesOfFunctionApplication (ast: ParsedInput) pos =
 /// `let map f v = f v` -> `f` is target
 let isPotentialTargetForTypeAnnotation
   (allowFunctionValues: bool)
-  (symbolUse: FSharpSymbolUse, mfv: FSharpMemberOrFunctionOrValue)
+  (_symbolUse: FSharpSymbolUse, mfv: FSharpMemberOrFunctionOrValue)
   =
   //ENHANCEMENT: extract settings
   (mfv.IsValue || (allowFunctionValues && mfv.IsFunction))