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