ionide / FsAutoComplete

F# language server using Language Server Protocol
Other
385 stars 151 forks source link

Type checking hangs with newly built TypeProvider #1307

Open MrLuje opened 1 week ago

MrLuje commented 1 week ago

Version

v7.20.2

Dotnet Info

.NET SDK (reflecting any global.json): Version: 6.0.423 Commit: c5c9e53229

Runtime Environment: OS Name: ubuntu OS Version: 22.04 OS Platform: Linux RID: ubuntu.22.04-x64 Base Path: /usr/share/dotnet/sdk/6.0.423/

Host: Version: 8.0.6 Architecture: x64 Commit: 3b8b000a0e

.NET SDKs installed: 6.0.423 [/usr/share/dotnet/sdk] 7.0.410 [/usr/share/dotnet/sdk] 8.0.301 [/usr/share/dotnet/sdk]

.NET runtimes installed: Microsoft.AspNetCore.App 6.0.31 [/usr/share/dotnet/shared/Microsoft.AspNetCore.App] Microsoft.AspNetCore.App 7.0.20 [/usr/share/dotnet/shared/Microsoft.AspNetCore.App] Microsoft.AspNetCore.App 8.0.6 [/usr/share/dotnet/shared/Microsoft.AspNetCore.App] Microsoft.NETCore.App 6.0.31 [/usr/share/dotnet/shared/Microsoft.NETCore.App] Microsoft.NETCore.App 7.0.20 [/usr/share/dotnet/shared/Microsoft.NETCore.App] Microsoft.NETCore.App 8.0.6 [/usr/share/dotnet/shared/Microsoft.NETCore.App]

Other architectures found: None

Environment variables: DOTNET_ROOT [/usr/share/dotnet]

global.json file: /home/vince/src/github/mrluje/FSharpTestTypeProvider-script/LemonadeProvider/global.json

Learn more: https://aka.ms/dotnet/info

Download .NET: https://aka.ms/dotnet/download

Steps to reproduce

Run the following script that will :

#!/usr/bin/env bash
set -e -o pipefail

rm -R LemonadeProvider || true
dotnet new -i FSharp.TypeProviders.Templates
dotnet new typeprovider -n LemonadeProvider -lang F#

cd LemonadeProvider

# Upgrade project from template
## set global.json to 6.0.300
sed -i 's/5.0.400/6.0.300/' global.json

## bump paket to 8.0.3
sed -i 's/6.1.3/8.0.3/' .config/dotnet-tools.json

## set test project to net6.0
sed -i 's/net5/net6/' tests/LemonadeProvider.Tests/LemonadeProvider.Tests.fsproj

## fix NUnit issues from the template in LemonadeProvider.Tests.fs
sed -i '5i open NUnit.Framework.Legacy' tests/LemonadeProvider.Tests/LemonadeProvider.Tests.fs
sed -i 's/Assert/ClassicAssert/g' tests/LemonadeProvider.Tests/LemonadeProvider.Tests.fs

# make sure everything is ok
dotnet tool restore
dotnet paket update
dotnet build -c debug
dotnet test -c debug

dotnet paket pack nuget --version 0.0.1

Details

Logs

[Trace - 1:28:20 PM] Sending request 'textDocument/codeAction - (29)'.
Params: {
    "textDocument": {
        "uri": "file:///home/vince/src/github/mrluje/FSharpTestTypeProvider-script/LemonadeProvider/tests/LemonadeProvider.Tests/LemonadeProvider.Tests.fs"
    },
    "range": {
        "start": {
            "line": 0,
            "character": 0
        },
        "end": {
            "line": 0,
            "character": 0
        }
    },
    "context": {
        "diagnostics": [],
        "triggerKind": 2
    }
}

[13:28:20.428 INF] [FsAutoComplete.Lsp.AdaptiveFSharpLspServer] TextDocumentCodeAction Request: {"TextDocument": {"Uri": "file:///home/vince/src/github/mrluje/FSharpTestTypeProvider-script/LemonadeProvider/tests/LemonadeProvider.Tests/LemonadeProvider.Tests.fs", "$type": "TextDocumentIdentifier"}, "Range": {"Start": {"Line": 0, "Character": 0, "$type": "Position"}, "End": {"Line": 0, "Character": 0, "$type": "Position"}, "$type": "Range"}, "Context": {"Diagnostics": [], "Only": null, "TriggerKind": {"Value": "Automatic", "$type": "Some"}, "$type": "CodeActionContext"}, "$type": "CodeActionParams"}
[13:28:20.429 INF] [FsAutoComplete.Lsp.AdaptiveState] Getting typecheck results for /home/vince/src/github/mrluje/FSharpTestTypeProvider-script/LemonadeProvider/tests/LemonadeProvider.Tests/LemonadeProvider.Tests.fs - 400092118 - 06/19/2024 11:03:01
[Trace - 1:28:20 PM] Received request 'window/workDoneProgress/create - (58)'.
Params: {
    "token": "fab25b88-3a04-4523-aa44-5814c168c2c4"
}

[Trace - 1:28:20 PM] Sending response 'window/workDoneProgress/create - (58)'. Processing request took 0ms
No result returned.

[Trace - 1:28:20 PM] Received notification '$/progress'.
Params: {
    "token": "fab25b88-3a04-4523-aa44-5814c168c2c4",
    "value": {
        "kind": "begin",
        "title": "Typechecking LemonadeProvider.Tests.fs",
        "cancellable": true,
        "message": "/home/vince/src/github/mrluje/FSharpTestTypeProvider-script/LemonadeProvider/tests/LemonadeProvider.Tests/LemonadeProvider.Tests.fs"
    }
}

[13:28:20.441 INF] [Checker] ParseAndCheckFileInProject - "/home/vince/src/github/mrluje/FSharpTestTypeProvider-script/LemonadeProvider/tests/LemonadeProvider.Tests/LemonadeProvider.Tests.fs"
[Trace - 1:28:20 PM] Sending notification '$/cancelRequest'.
Params: {
    "id": 29
}

[Trace - 1:28:20 PM] Sending request 'textDocument/codeAction - (30)'.
Params: {
    "textDocument": {
        "uri": "file:///home/vince/src/github/mrluje/FSharpTestTypeProvider-script/LemonadeProvider/tests/LemonadeProvider.Tests/LemonadeProvider.Tests.fs"
    },
    "range": {
        "start": {
            "line": 36,
            "character": 0
        },
        "end": {
            "line": 36,
            "character": 0
        }
    },
    "context": {
        "diagnostics": [],
        "triggerKind": 2
    }
}

[13:28:20.630 INF] [FsAutoComplete.Lsp.AdaptiveFSharpLspServer] TextDocumentCodeAction Request: {"TextDocument": {"Uri": "file:///home/vince/src/github/mrluje/FSharpTestTypeProvider-script/LemonadeProvider/tests/LemonadeProvider.Tests/LemonadeProvider.Tests.fs", "$type": "TextDocumentIdentifier"}, "Range": {"Start": {"Line": 36, "Character": 0, "$type": "Position"}, "End": {"Line": 36, "Character": 0, "$type": "Position"}, "$type": "Range"}, "Context": {"Diagnostics": [], "Only": null, "TriggerKind": {"Value": "Automatic", "$type": "Some"}, "$type": "CodeActionContext"}, "$type": "CodeActionParams"}
[Trace - 1:28:20 PM] Received response 'textDocument/codeAction - (29)' in 213ms. Request failed: The task was cancelled. (-32800).
[Trace - 1:28:20 PM] Sending request 'textDocument/documentSymbol - (31)'.
Params: {
    "textDocument": {
        "uri": "file:///home/vince/src/github/mrluje/FSharpTestTypeProvider-script/LemonadeProvider/tests/LemonadeProvider.Tests/LemonadeProvider.Tests.fs"
    }
}

[13:28:20.677 INF] [FsAutoComplete.Lsp.AdaptiveFSharpLspServer] TextDocumentDocumentSymbol Request: {"TextDocument": {"Uri": "file:///home/vince/src/github/mrluje/FSharpTestTypeProvider-script/LemonadeProvider/tests/LemonadeProvider.Tests/LemonadeProvider.Tests.fs", "$type": "TextDocumentIdentifier"}, "$type": "DocumentSymbolParams"}
[13:28:20.678 INF] [Checker] ParseFile - /home/vince/src/github/mrluje/FSharpTestTypeProvider-script/LemonadeProvider/tests/LemonadeProvider.Tests/LemonadeProvider.Tests.fs
[13:28:20.678 INF] [FsAutoComplete.Lsp.AdaptiveState] Test Detection of /home/vince/src/github/mrluje/FSharpTestTypeProvider-script/LemonadeProvider/tests/LemonadeProvider.Tests/LemonadeProvider.Tests.fs started
[13:28:20.678 INF] [FsAutoComplete.Lsp.AdaptiveState] Test Detection of /home/vince/src/github/mrluje/FSharpTestTypeProvider-script/LemonadeProvider/tests/LemonadeProvider.Tests/LemonadeProvider.Tests.fs - [{"Name": "LemonadeProviderTests", "Range": {"$type": "Rng"}, "Childs": [{"Name": "Default constructor should create instance", "Range": {"$type": "Rng"}, "Childs": [], "Id": 2, "List": false, "ModuleType": "NoneModule", "Type": "NUnit", "$type": "TestAdapterEntry`1"}, {"Name": "Constructor with parameter should create instance", "Range": {"$type": "Rng"}, "Childs": [], "Id": 3, "List": false, "ModuleType": "NoneModule", "Type": "NUnit", "$type": "TestAdapterEntry`1"}, {"Name": "Method with ReflectedDefinition parameter should get its name", "Range": {"$type": "Rng"}, "Childs": [], "Id": 4, "List": false, "ModuleType": "NoneModule", "Type": "NUnit", "$type": "TestAdapterEntry`1"}, {"Name": "Can access properties of generative provider 2", "Range": {"$type": "Rng"}, "Childs": [], "Id": 7, "List": false, "ModuleType": "NoneModule", "Type": "NUnit", "$type": "TestAdapterEntry`1"}, {"Name": "Can access properties of generative provider 4", "Range": {"$type": "Rng"}, "Childs": [], "Id": 8, "List": false, "ModuleType": "NoneModule", "Type": "NUnit", "$type": "TestAdapterEntry`1"}], "Id": 1, "List": true, "ModuleType": "Module", "Type": "NUnit", "$type": "TestAdapterEntry`1"}]
[Trace - 1:28:20 PM] Received notification 'fsharp/testDetected'.
Params: {
    "file": "file:///home/vince/src/github/mrluje/FSharpTestTypeProvider-script/LemonadeProvider/tests/LemonadeProvider.Tests/LemonadeProvider.Tests.fs",
    "tests": [
        {
            "name": "LemonadeProviderTests",
            "range": {
                "start": {
                    "line": 0,
                    "character": 0
                },
                "end": {
                    "line": 34,
                    "character": 44
                }
            },
            "childs": [
                {
                    "name": "Default constructor should create instance",
                    "range": {
                        "start": {
                            "line": 6,
                            "character": 0
                        },
                        "end": {
                            "line": 7,
                            "character": 53
                        }
                    },
                    "childs": [],
                    "id": 2,
                    "list": false,
                    "moduleType": "NoneModule",
                    "type": "NUnit"
                },
                {
                    "name": "Constructor with parameter should create instance",
                    "range": {
                        "start": {
                            "line": 10,
                            "character": 0
                        },
                        "end": {
                            "line": 11,
                            "character": 60
                        }
                    },
                    "childs": [],
                    "id": 3,
                    "list": false,
                    "moduleType": "NoneModule",
                    "type": "NUnit"
                },
                {
                    "name": "Method with ReflectedDefinition parameter should get its name",
                    "range": {
                        "start": {
                            "line": 14,
                            "character": 0
                        },
                        "end": {
                            "line": 15,
                            "character": 72
                        }
                    },
                    "childs": [],
                    "id": 4,
                    "list": false,
                    "moduleType": "NoneModule",
                    "type": "NUnit"
                },
                {
                    "name": "Can access properties of generative provider 2",
                    "range": {
                        "start": {
                            "line": 22,
                            "character": 0
                        },
                        "end": {
                            "line": 23,
                            "character": 57
                        }
                    },
                    "childs": [],
                    "id": 7,
                    "list": false,
                    "moduleType": "NoneModule",
                    "type": "NUnit"
                },
                {
                    "name": "Can access properties of generative provider 4",
                    "range": {
                        "start": {
                            "line": 28,
                            "character": 0
                        },
                        "end": {
                            "line": 29,
                            "character": 57
                        }
                    },
                    "childs": [],
                    "id": 8,
                    "list": false,
                    "moduleType": "NoneModule",
                    "type": "NUnit"
                }
            ],
            "id": 1,
            "list": true,
            "moduleType": "Module",
            "type": "NUnit"
        }
    ]
}

[Trace - 1:28:20 PM] Received response 'textDocument/documentSymbol - (31)' in 7ms.
Result: [
    {
        "name": "Generative2",
        "kind": 5,
        "location": {
            "uri": "file:///home/vince/src/github/mrluje/FSharpTestTypeProvider-script/LemonadeProvider/tests/LemonadeProvider.Tests/LemonadeProvider.Tests.fs",
            "range": {
                "start": {
                    "line": 19,
                    "character": 5
                },
                "end": {
                    "line": 19,
                    "character": 57
                }
            }
        }
    },
    {
        "name": "Generative4",
        "kind": 5,
        "location": {
            "uri": "file:///home/vince/src/github/mrluje/FSharpTestTypeProvider-script/LemonadeProvider/tests/LemonadeProvider.Tests/LemonadeProvider.Tests.fs",
            "range": {
                "start": {
                    "line": 20,
                    "character": 5
                },
                "end": {
                    "line": 20,
                    "character": 57
                }
            }
        }
    },
    {
        "name": "LemonadeProviderTests",
        "kind": 2,
        "location": {
            "uri": "file:///home/vince/src/github/mrluje/FSharpTestTypeProvider-script/LemonadeProvider/tests/LemonadeProvider.Tests/LemonadeProvider.Tests.fs",
            "range": {
                "start": {
                    "line": 0,
                    "character": 0
                },
                "end": {
                    "line": 34,
                    "character": 44
                }
            }
        }
    },
    {
        "name": "Can access properties of generative provider 2",
        "kind": 8,
        "location": {
            "uri": "file:///home/vince/src/github/mrluje/FSharpTestTypeProvider-script/LemonadeProvider/tests/LemonadeProvider.Tests/LemonadeProvider.Tests.fs",
            "range": {
                "start": {
                    "line": 23,
                    "character": 4
                },
                "end": {
                    "line": 26,
                    "character": 44
                }
            }
        },
        "containerName": "LemonadeProviderTests"
    },
    {
        "name": "Can access properties of generative provider 4",
        "kind": 8,
        "location": {
            "uri": "file:///home/vince/src/github/mrluje/FSharpTestTypeProvider-script/LemonadeProvider/tests/LemonadeProvider.Tests/LemonadeProvider.Tests.fs",
            "range": {
                "start": {
                    "line": 29,
                    "character": 4
                },
                "end": {
                    "line": 34,
                    "character": 44
                }
            }
        },
        "containerName": "LemonadeProviderTests"
    },
    {
        "name": "Constructor with parameter should create instance",
        "kind": 8,
        "location": {
            "uri": "file:///home/vince/src/github/mrluje/FSharpTestTypeProvider-script/LemonadeProvider/tests/LemonadeProvider.Tests/LemonadeProvider.Tests.fs",
            "range": {
                "start": {
                    "line": 11,
                    "character": 4
                },
                "end": {
                    "line": 12,
                    "character": 69
                }
            }
        },
        "containerName": "LemonadeProviderTests"
    },
    {
        "name": "Default constructor should create instance",
        "kind": 8,
        "location": {
            "uri": "file:///home/vince/src/github/mrluje/FSharpTestTypeProvider-script/LemonadeProvider/tests/LemonadeProvider.Tests/LemonadeProvider.Tests.fs",
            "range": {
                "start": {
                    "line": 7,
                    "character": 4
                },
                "end": {
                    "line": 8,
                    "character": 68
                }
            }
        },
        "containerName": "LemonadeProviderTests"
    },
    {
        "name": "Method with ReflectedDefinition parameter should get its name",
        "kind": 8,
        "location": {
            "uri": "file:///home/vince/src/github/mrluje/FSharpTestTypeProvider-script/LemonadeProvider/tests/LemonadeProvider.Tests/LemonadeProvider.Tests.fs",
            "range": {
                "start": {
                    "line": 15,
                    "character": 4
                },
                "end": {
                    "line": 17,
                    "character": 61
                }
            }
        },
        "containerName": "LemonadeProviderTests"
    }
]

[Trace - 1:28:20 PM] Sending request 'textDocument/semanticTokens/range - (32)'.
Params: {
    "textDocument": {
        "uri": "file:///home/vince/src/github/mrluje/FSharpTestTypeProvider-script/LemonadeProvider/tests/LemonadeProvider.Tests/LemonadeProvider.Tests.fs"
    },
    "range": {
        "start": {
            "line": 0,
            "character": 0
        },
        "end": {
            "line": 36,
            "character": 0
        }
    }
}

[13:28:20.881 INF] [FsAutoComplete.Lsp.AdaptiveFSharpLspServer] TextDocumentSemanticTokensRange request: {"TextDocument": {"Uri": "file:///home/vince/src/github/mrluje/FSharpTestTypeProvider-script/LemonadeProvider/tests/LemonadeProvider.Tests/LemonadeProvider.Tests.fs", "$type": "TextDocumentIdentifier"}, "Range": {"Start": {"Line": 0, "Character": 0, "$type": "Position"}, "End": {"Line": 36, "Character": 0, "$type": "Position"}, "$type": "Range"}, "$type": "SemanticTokensRangeParams"}
[Trace - 1:28:20 PM] Sending request 'textDocument/inlayHint - (33)'.
Params: {
    "textDocument": {
        "uri": "file:///home/vince/src/github/mrluje/FSharpTestTypeProvider-script/LemonadeProvider/tests/LemonadeProvider.Tests/LemonadeProvider.Tests.fs"
    },
    "range": {
        "start": {
            "line": 0,
            "character": 0
        },
        "end": {
            "line": 36,
            "character": 0
        }
    }
}

[13:28:20.995 INF] [FsAutoComplete.Lsp.AdaptiveFSharpLspServer] TextDocumentInlayHint Request: {"TextDocument": {"Uri": "file:///home/vince/src/github/mrluje/FSharpTestTypeProvider-script/LemonadeProvider/tests/LemonadeProvider.Tests/LemonadeProvider.Tests.fs", "$type": "TextDocumentIdentifier"}, "Range": {"Start": {"Line": 0, "Character": 0, "$type": "Position"}, "End": {"Line": 36, "Character": 0, "$type": "Position"}, "$type": "Range"}, "$type": "InlayHintParams"}
[Trace - 1:28:20 PM] Sending request 'textDocument/documentSymbol - (34)'.
Params: {
    "textDocument": {
        "uri": "file:///home/vince/src/github/mrluje/FSharpTestTypeProvider-script/LemonadeProvider/tests/LemonadeProvider.Tests/LemonadeProvider.Tests.fs"
    }
}

[13:28:21.000 INF] [FsAutoComplete.Lsp.AdaptiveFSharpLspServer] TextDocumentDocumentSymbol Request: {"TextDocument": {"Uri": "file:///home/vince/src/github/mrluje/FSharpTestTypeProvider-script/LemonadeProvider/tests/LemonadeProvider.Tests/LemonadeProvider.Tests.fs", "$type": "TextDocumentIdentifier"}, "$type": "DocumentSymbolParams"}
[Trace - 1:28:21 PM] Received response 'textDocument/documentSymbol - (34)' in 2ms.
Result: [
    {
        "name": "Generative2",
        "kind": 5,
        "location": {
            "uri": "file:///home/vince/src/github/mrluje/FSharpTestTypeProvider-script/LemonadeProvider/tests/LemonadeProvider.Tests/LemonadeProvider.Tests.fs",
            "range": {
                "start": {
                    "line": 19,
                    "character": 5
                },
                "end": {
                    "line": 19,
                    "character": 57
                }
            }
        }
    },
    {
        "name": "Generative4",
        "kind": 5,
        "location": {
            "uri": "file:///home/vince/src/github/mrluje/FSharpTestTypeProvider-script/LemonadeProvider/tests/LemonadeProvider.Tests/LemonadeProvider.Tests.fs",
            "range": {
                "start": {
                    "line": 20,
                    "character": 5
                },
                "end": {
                    "line": 20,
                    "character": 57
                }
            }
        }
    },
    {
        "name": "LemonadeProviderTests",
        "kind": 2,
        "location": {
            "uri": "file:///home/vince/src/github/mrluje/FSharpTestTypeProvider-script/LemonadeProvider/tests/LemonadeProvider.Tests/LemonadeProvider.Tests.fs",
            "range": {
                "start": {
                    "line": 0,
                    "character": 0
                },
                "end": {
                    "line": 34,
                    "character": 44
                }
            }
        }
    },
    {
        "name": "Can access properties of generative provider 2",
        "kind": 8,
        "location": {
            "uri": "file:///home/vince/src/github/mrluje/FSharpTestTypeProvider-script/LemonadeProvider/tests/LemonadeProvider.Tests/LemonadeProvider.Tests.fs",
            "range": {
                "start": {
                    "line": 23,
                    "character": 4
                },
                "end": {
                    "line": 26,
                    "character": 44
                }
            }
        },
        "containerName": "LemonadeProviderTests"
    },
    {
        "name": "Can access properties of generative provider 4",
        "kind": 8,
        "location": {
            "uri": "file:///home/vince/src/github/mrluje/FSharpTestTypeProvider-script/LemonadeProvider/tests/LemonadeProvider.Tests/LemonadeProvider.Tests.fs",
            "range": {
                "start": {
                    "line": 29,
                    "character": 4
                },
                "end": {
                    "line": 34,
                    "character": 44
                }
            }
        },
        "containerName": "LemonadeProviderTests"
    },
    {
        "name": "Constructor with parameter should create instance",
        "kind": 8,
        "location": {
            "uri": "file:///home/vince/src/github/mrluje/FSharpTestTypeProvider-script/LemonadeProvider/tests/LemonadeProvider.Tests/LemonadeProvider.Tests.fs",
            "range": {
                "start": {
                    "line": 11,
                    "character": 4
                },
                "end": {
                    "line": 12,
                    "character": 69
                }
            }
        },
        "containerName": "LemonadeProviderTests"
    },
    {
        "name": "Default constructor should create instance",
        "kind": 8,
        "location": {
            "uri": "file:///home/vince/src/github/mrluje/FSharpTestTypeProvider-script/LemonadeProvider/tests/LemonadeProvider.Tests/LemonadeProvider.Tests.fs",
            "range": {
                "start": {
                    "line": 7,
                    "character": 4
                },
                "end": {
                    "line": 8,
                    "character": 68
                }
            }
        },
        "containerName": "LemonadeProviderTests"
    },
    {
        "name": "Method with ReflectedDefinition parameter should get its name",
        "kind": 8,
        "location": {
            "uri": "file:///home/vince/src/github/mrluje/FSharpTestTypeProvider-script/LemonadeProvider/tests/LemonadeProvider.Tests/LemonadeProvider.Tests.fs",
            "range": {
                "start": {
                    "line": 15,
                    "character": 4
                },
                "end": {
                    "line": 17,
                    "character": 61
                }
            }
        },
        "containerName": "LemonadeProviderTests"
    }
]

[Trace - 1:28:21 PM] Sending request 'textDocument/foldingRange - (35)'.
Params: {
    "textDocument": {
        "uri": "file:///home/vince/src/github/mrluje/FSharpTestTypeProvider-script/LemonadeProvider/tests/LemonadeProvider.Tests/LemonadeProvider.Tests.fs"
    }
}

[13:28:21.270 INF] [FsAutoComplete.Lsp.AdaptiveFSharpLspServer] TextDocumentFoldingRange Request: {"TextDocument": {"Uri": "file:///home/vince/src/github/mrluje/FSharpTestTypeProvider-script/LemonadeProvider/tests/LemonadeProvider.Tests/LemonadeProvider.Tests.fs", "$type": "TextDocumentIdentifier"}, "$type": "FoldingRangeParams"}
[Trace - 1:28:21 PM] Received response 'textDocument/foldingRange - (35)' in 21ms.
Result: [
    {
        "startLine": 0,
        "startCharacter": 28,
        "endLine": 34,
        "endCharacter": 44
    },
    {
        "startLine": 2,
        "startCharacter": 0,
        "endLine": 4,
        "endCharacter": 27,
        "kind": "imports"
    },
    {
        "startLine": 7,
        "startCharacter": 53,
        "endLine": 8,
        "endCharacter": 68
    },
    {
        "startLine": 11,
        "startCharacter": 60,
        "endLine": 12,
        "endCharacter": 69
    },
    {
        "startLine": 15,
        "startCharacter": 72,
        "endLine": 17,
        "endCharacter": 61
    },
    {
        "startLine": 23,
        "startCharacter": 57,
        "endLine": 26,
        "endCharacter": 44
    },
    {
        "startLine": 29,
        "startCharacter": 57,
        "endLine": 34,
        "endCharacter": 44
    }
]

[Trace - 1:28:22 PM] Sending request 'textDocument/codeLens - (36)'.
Params: {
    "textDocument": {
        "uri": "file:///home/vince/src/github/mrluje/FSharpTestTypeProvider-script/LemonadeProvider/tests/LemonadeProvider.Tests/LemonadeProvider.Tests.fs"
    }
}

[13:28:22.028 INF] [FsAutoComplete.Lsp.AdaptiveFSharpLspServer] TextDocumentCodeLens Request: {"TextDocument": {"Uri": "file:///home/vince/src/github/mrluje/FSharpTestTypeProvider-script/LemonadeProvider/tests/LemonadeProvider.Tests/LemonadeProvider.Tests.fs", "$type": "TextDocumentIdentifier"}, "$type": "CodeLensParams"}
[Trace - 1:28:22 PM] Received response 'textDocument/codeLens - (36)' in 2ms.
Result: []

[Trace - 1:28:22 PM] Sending request 'textDocument/semanticTokens/full - (37)'.
Params: {
    "textDocument": {
        "uri": "file:///home/vince/src/github/mrluje/FSharpTestTypeProvider-script/LemonadeProvider/tests/LemonadeProvider.Tests/LemonadeProvider.Tests.fs"
    }
}

[13:28:22.358 INF] [FsAutoComplete.Lsp.AdaptiveFSharpLspServer] TextDocumentSemanticTokensFull request: {"TextDocument": {"Uri": "file:///home/vince/src/github/mrluje/FSharpTestTypeProvider-script/LemonadeProvider/tests/LemonadeProvider.Tests/LemonadeProvider.Tests.fs", "$type": "TextDocumentIdentifier"}, "$type": "SemanticTokensParams"}
[13:28:26.962 INF] [Checker] ParseAndCheckFileInProject - "/home/vince/src/github/mrluje/FSharpTestTypeProvider-script/LemonadeProvider/tests/LemonadeProvider.Tests/LemonadeProvider.Tests.fs" completed successfully
[13:28:26.963 INF] [FsAutoComplete.Lsp.AdaptiveState] Typecheck completed successfully for /home/vince/src/github/mrluje/FSharpTestTypeProvider-script/LemonadeProvider/tests/LemonadeProvider.Tests/LemonadeProvider.Tests.fs
[13:28:26.963 INF] [FsAutoComplete.Lsp.AdaptiveState] Test Detection of /home/vince/src/github/mrluje/FSharpTestTypeProvider-script/LemonadeProvider/tests/LemonadeProvider.Tests/LemonadeProvider.Tests.fs started
[13:28:26.963 INF] [FsAutoComplete.Lsp.AdaptiveState] Test Detection of /home/vince/src/github/mrluje/FSharpTestTypeProvider-script/LemonadeProvider/tests/LemonadeProvider.Tests/LemonadeProvider.Tests.fs - [{"Name": "LemonadeProviderTests", "Range": {"$type": "Rng"}, "Childs": [{"Name": "Default constructor should create instance", "Range": {"$type": "Rng"}, "Childs": [], "Id": 2, "List": false, "ModuleType": "NoneModule", "Type": "NUnit", "$type": "TestAdapterEntry`1"}, {"Name": "Constructor with parameter should create instance", "Range": {"$type": "Rng"}, "Childs": [], "Id": 3, "List": false, "ModuleType": "NoneModule", "Type": "NUnit", "$type": "TestAdapterEntry`1"}, {"Name": "Method with ReflectedDefinition parameter should get its name", "Range": {"$type": "Rng"}, "Childs": [], "Id": 4, "List": false, "ModuleType": "NoneModule", "Type": "NUnit", "$type": "TestAdapterEntry`1"}, {"Name": "Can access properties of generative provider 2", "Range": {"$type": "Rng"}, "Childs": [], "Id": 7, "List": false, "ModuleType": "NoneModule", "Type": "NUnit", "$type": "TestAdapterEntry`1"}, {"Name": "Can access properties of generative provider 4", "Range": {"$type": "Rng"}, "Childs": [], "Id": 8, "List": false, "ModuleType": "NoneModule", "Type": "NUnit", "$type": "TestAdapterEntry`1"}], "Id": 1, "List": true, "ModuleType": "Module", "Type": "NUnit", "$type": "TestAdapterEntry`1"}]
[13:28:26.965 INF] [FsAutoComplete.Lsp.AdaptiveState] SendDiag for file:///home/vince/src/github/mrluje/FSharpTestTypeProvider-script/LemonadeProvider/tests/LemonadeProvider.Tests/LemonadeProvider.Tests.fs: 0 entries

Checklist