From e05e808ec964c5df1f0d2c4a6a5f265b0f52fe9b Mon Sep 17 00:00:00 2001 From: dawe Date: Tue, 23 May 2023 16:06:38 +0200 Subject: [PATCH] Add test --- .../FSharp.Compiler.ComponentTests.fsproj | 1 + .../Miscellaneous/FindUnsolvedTests.fs | 13 +++++++++++++ 2 files changed, 14 insertions(+) create mode 100644 tests/FSharp.Compiler.ComponentTests/Miscellaneous/FindUnsolvedTests.fs diff --git a/tests/FSharp.Compiler.ComponentTests/FSharp.Compiler.ComponentTests.fsproj b/tests/FSharp.Compiler.ComponentTests/FSharp.Compiler.ComponentTests.fsproj index a83d57f55a5..5ae695105f0 100644 --- a/tests/FSharp.Compiler.ComponentTests/FSharp.Compiler.ComponentTests.fsproj +++ b/tests/FSharp.Compiler.ComponentTests/FSharp.Compiler.ComponentTests.fsproj @@ -233,6 +233,7 @@ + diff --git a/tests/FSharp.Compiler.ComponentTests/Miscellaneous/FindUnsolvedTests.fs b/tests/FSharp.Compiler.ComponentTests/Miscellaneous/FindUnsolvedTests.fs new file mode 100644 index 00000000000..24ac0962b17 --- /dev/null +++ b/tests/FSharp.Compiler.ComponentTests/Miscellaneous/FindUnsolvedTests.fs @@ -0,0 +1,13 @@ +// Copyright (c) Microsoft Corporation. All Rights Reserved. See License.txt in the project root for license information. + +module FSharp.Compiler.ComponentTests.Miscellaneous.FindUnsolvedTests + +open Xunit +open FSharp.Test.Compiler + +[] +let ``fallbackRange being set in FindUnsolved`` () = + FSharp + """let f<'b> () : 'b = (let a = failwith "" in unbox a)""" + |> typecheckResults + |> ignore