diff --git a/src/FSharp.Core/prim-types.fs b/src/FSharp.Core/prim-types.fs
index e1f64380f4a..b4e3271b60d 100644
--- a/src/FSharp.Core/prim-types.fs
+++ b/src/FSharp.Core/prim-types.fs
@@ -5346,6 +5346,24 @@ namespace Microsoft.FSharp.Core
             [<CompiledName("Hash")>]
             let inline hash x = GenericHash x
 
+            #if !BUILDING_WITH_LKG && !NO_NULLCHECKING_LIB_SUPPORT
+
+            [<CompiledName("NonNull")>]
+            let inline nonNull (x: 'T | null when 'T : not null and 'T : not struct) : 'T = (# "" x : 'T #)
+
+            [<CompiledName("NonNullQuickPattern")>]
+            let inline (|NonNullQuick|) (value : 'T | null when 'T : not null and 'T : not struct) = nonNull value
+
+            #else
+
+            [<CompiledName("NonNull")>]
+            let inline nonNull (x: 'T ) : 'T = x
+
+            [<CompiledName("NonNullQuickPattern")>]
+            let inline (|NonNullQuick|) (value) = nonNull value
+
+            #endif
+
         module Checked = 
         
             let inline (+) (x: ^T) (y: ^U) : ^V = 
diff --git a/src/FSharp.Core/prim-types.fsi b/src/FSharp.Core/prim-types.fsi
index e3c2bb245b6..feb535ba643 100644
--- a/src/FSharp.Core/prim-types.fsi
+++ b/src/FSharp.Core/prim-types.fsi
@@ -5740,6 +5740,28 @@ namespace Microsoft.FSharp.Core
             [<CompiledName("Hash")>]
             val inline hash: 'T -> int
 
+            /// <summary>Unsafely retypes the value from ('T | null) to 'T without doing any null check at runtime. This is an unsafe operation.</summary>
+            /// <param name="value">The possibly nullable value.</param>
+            /// <returns>The same value as in the input.</returns>
+            [<CompiledName("NonNull")>]
+            [<Experimental("Experimental library feature, requires '--langversion:preview'")>]
+            #if !BUILDING_WITH_LKG && !NO_NULLCHECKING_LIB_SUPPORT
+            val inline nonNull : value: 'T | null -> 'T when 'T : not null and 'T : not struct
+            #else
+            val inline nonNull : value: 'T  -> 'T
+            #endif
+
+            /// <summary>When used in a pattern forgets 'nullness' of the value without any runtime check. This is an unsafe operation, as null check is being skipped and null value can be returned.</summary>
+            /// <param name="value">The value to retype from ('T | null) to 'T .</param>
+            /// <returns>The non-null value.</returns>
+            [<CompiledName("NonNullQuickPattern")>]
+            [<Experimental("Experimental library feature, requires '--langversion:preview'")>]
+            #if !BUILDING_WITH_LKG && !NO_NULLCHECKING_LIB_SUPPORT
+            val inline (|NonNullQuick|) : value: 'T | null -> 'T when 'T : not null and 'T : not struct
+            #else
+            val inline (|NonNullQuick|) : value: 'T  -> 'T
+            #endif
+
         /// <summary>A module of comparison and equality operators that are statically resolved, but which are not fully generic and do not make structural comparison. Opening this
         /// module may make code that relies on structural or generic comparison no longer compile.</summary>
         module NonStructuralComparison = 
diff --git a/tests/FSharp.Compiler.ComponentTests/FSharp.Compiler.ComponentTests.fsproj b/tests/FSharp.Compiler.ComponentTests/FSharp.Compiler.ComponentTests.fsproj
index a11357eda30..3e6b9a2aeed 100644
--- a/tests/FSharp.Compiler.ComponentTests/FSharp.Compiler.ComponentTests.fsproj
+++ b/tests/FSharp.Compiler.ComponentTests/FSharp.Compiler.ComponentTests.fsproj
@@ -225,6 +225,7 @@
     <Compile Include="Language\CopyAndUpdateTests.fs" />
     <Compile Include="Language\ConstraintIntersectionTests.fs" />
     <Compile Include="Language\BooleanReturningAndReturnTypeDirectedPartialActivePatternTests.fs" />
+    <Compile Include="Language\NullableLibraryConstructsTests.fs" />
     <Compile Include="Language\NullableCsharpImportTests.fs" />
     <Compile Include="Language\NullableReferenceTypesTests.fs" />
     <Compile Include="ConstraintSolver\PrimitiveConstraints.fs" />
diff --git a/tests/FSharp.Compiler.ComponentTests/Language/NullableLibraryConstructsTests.fs b/tests/FSharp.Compiler.ComponentTests/Language/NullableLibraryConstructsTests.fs
new file mode 100644
index 00000000000..790c4cfd395
--- /dev/null
+++ b/tests/FSharp.Compiler.ComponentTests/Language/NullableLibraryConstructsTests.fs
@@ -0,0 +1,59 @@
+module Language.NullableLibraryConstructs
+
+open Xunit
+open FSharp.Test
+open FSharp.Test.Compiler
+
+let typeCheckWithStrictNullness cu =
+    cu
+    |> withLangVersionPreview
+    |> withCheckNulls
+    |> withWarnOn 3261
+    |> withOptions ["--warnaserror+"]
+    |> typecheck
+
+[<FactForNETCOREAPP>]
+let ``Can unsafely forgive null using Unchecked nonNull function`` () = 
+    FSharp """module MyLibrary
+
+let readAllLines (reader:System.IO.StreamReader) : seq<string> =
+    seq {
+        while not reader.EndOfStream do
+            reader.ReadLine() |> Unchecked.nonNull
+    }
+"""
+    |> asLibrary
+    |> typeCheckWithStrictNullness
+    |> shouldSucceed
+
+[<FactForNETCOREAPP>]
+let ``Can unsafely forgive null using Unchecked NonNullQuick active pattern`` () = 
+    FSharp """module MyLibrary
+
+let readAllLines (reader:System.IO.StreamReader) : seq<string> =
+    seq {
+        while not reader.EndOfStream do
+            match reader.ReadLine() with
+            | Unchecked.NonNullQuick line -> yield line
+    }
+"""
+    |> asLibrary
+    |> typeCheckWithStrictNullness
+    |> shouldSucceed
+
+[<Fact>]
+let ``Can concat two maybe null strings`` () =
+    FSharp """module MyLibrary
+
+let addStrings (x:string | null) (y:string) : string  =
+
+    let s2 = x + x
+    let s3 = y + y
+    let s4 = y + x
+    let s4string : string = s4
+
+    s4
+"""
+    |> asLibrary
+    |> typeCheckWithStrictNullness
+    |> shouldSucceed
\ No newline at end of file
diff --git a/tests/FSharp.Core.UnitTests/FSharp.Core.SurfaceArea.netstandard20.debug.bsl b/tests/FSharp.Core.UnitTests/FSharp.Core.SurfaceArea.netstandard20.debug.bsl
index eeea1540744..7d20a88524a 100644
--- a/tests/FSharp.Core.UnitTests/FSharp.Core.SurfaceArea.netstandard20.debug.bsl
+++ b/tests/FSharp.Core.UnitTests/FSharp.Core.SurfaceArea.netstandard20.debug.bsl
@@ -1732,7 +1732,10 @@ Microsoft.FSharp.Core.Operators+Unchecked: Boolean Equals[T](T, T)
 Microsoft.FSharp.Core.Operators+Unchecked: Int32 Compare[T](T, T)
 Microsoft.FSharp.Core.Operators+Unchecked: Int32 Hash[T](T)
 Microsoft.FSharp.Core.Operators+Unchecked: T DefaultOf[T]()
+Microsoft.FSharp.Core.Operators+Unchecked: T NonNullQuickPattern[T](T)
+Microsoft.FSharp.Core.Operators+Unchecked: T NonNull[T](T)
 Microsoft.FSharp.Core.Operators+Unchecked: T Unbox[T](System.Object)
+Microsoft.FSharp.Core.Operators: Boolean IsNullV[T](System.Nullable`1[T])
 Microsoft.FSharp.Core.Operators: Boolean IsNull[T](T)
 Microsoft.FSharp.Core.Operators: Boolean Not(Boolean)
 Microsoft.FSharp.Core.Operators: Boolean op_Equality[T](T, T)
@@ -1768,6 +1771,8 @@ Microsoft.FSharp.Core.Operators: Int64 ToInt64[T](T)
 Microsoft.FSharp.Core.Operators: IntPtr ToIntPtr$W[T](Microsoft.FSharp.Core.FSharpFunc`2[T,System.IntPtr], T)
 Microsoft.FSharp.Core.Operators: IntPtr ToIntPtr[T](T)
 Microsoft.FSharp.Core.Operators: Microsoft.FSharp.Collections.FSharpList`1[T] op_Append[T](Microsoft.FSharp.Collections.FSharpList`1[T], Microsoft.FSharp.Collections.FSharpList`1[T])
+Microsoft.FSharp.Core.Operators: Microsoft.FSharp.Core.FSharpChoice`2[Microsoft.FSharp.Core.Unit,T] NullMatchPattern[T](T)
+Microsoft.FSharp.Core.Operators: Microsoft.FSharp.Core.FSharpChoice`2[Microsoft.FSharp.Core.Unit,T] NullValueMatchPattern[T](System.Nullable`1[T])
 Microsoft.FSharp.Core.Operators: Microsoft.FSharp.Core.FSharpFunc`2[T1,T3] op_ComposeLeft[T2,T3,T1](Microsoft.FSharp.Core.FSharpFunc`2[T2,T3], Microsoft.FSharp.Core.FSharpFunc`2[T1,T2])
 Microsoft.FSharp.Core.Operators: Microsoft.FSharp.Core.FSharpFunc`2[T1,T3] op_ComposeRight[T1,T2,T3](Microsoft.FSharp.Core.FSharpFunc`2[T1,T2], Microsoft.FSharp.Core.FSharpFunc`2[T2,T3])
 Microsoft.FSharp.Core.Operators: Microsoft.FSharp.Core.FSharpOption`1[System.String] FailurePattern(System.Exception)
@@ -1797,6 +1802,8 @@ Microsoft.FSharp.Core.Operators: System.Exception Failure(System.String)
 Microsoft.FSharp.Core.Operators: System.IO.TextReader ConsoleIn[T]()
 Microsoft.FSharp.Core.Operators: System.IO.TextWriter ConsoleError[T]()
 Microsoft.FSharp.Core.Operators: System.IO.TextWriter ConsoleOut[T]()
+Microsoft.FSharp.Core.Operators: System.Nullable`1[T] NullV[T]()
+Microsoft.FSharp.Core.Operators: System.Nullable`1[T] WithNullV[T](T)
 Microsoft.FSharp.Core.Operators: System.Object Box[T](T)
 Microsoft.FSharp.Core.Operators: System.RuntimeMethodHandle MethodHandleOf[T,TResult](Microsoft.FSharp.Core.FSharpFunc`2[T,TResult])
 Microsoft.FSharp.Core.Operators: System.String NameOf[T](T)
@@ -1820,6 +1827,8 @@ Microsoft.FSharp.Core.Operators: T Cos[T](T)
 Microsoft.FSharp.Core.Operators: T Cosh$W[T](Microsoft.FSharp.Core.FSharpFunc`2[T,T], T)
 Microsoft.FSharp.Core.Operators: T Cosh[T](T)
 Microsoft.FSharp.Core.Operators: T DefaultArg[T](Microsoft.FSharp.Core.FSharpOption`1[T], T)
+Microsoft.FSharp.Core.Operators: T DefaultIfNullV[T](T, System.Nullable`1[T])
+Microsoft.FSharp.Core.Operators: T DefaultIfNull[T](T, T)
 Microsoft.FSharp.Core.Operators: T DefaultValueArg[T](Microsoft.FSharp.Core.FSharpValueOption`1[T], T)
 Microsoft.FSharp.Core.Operators: T Exit[T](Int32)
 Microsoft.FSharp.Core.Operators: T Exp$W[T](Microsoft.FSharp.Core.FSharpFunc`2[T,T], T)
@@ -1837,6 +1846,11 @@ Microsoft.FSharp.Core.Operators: T Log10[T](T)
 Microsoft.FSharp.Core.Operators: T Log[T](T)
 Microsoft.FSharp.Core.Operators: T Max[T](T, T)
 Microsoft.FSharp.Core.Operators: T Min[T](T, T)
+Microsoft.FSharp.Core.Operators: T NonNullQuickPattern[T](T)
+Microsoft.FSharp.Core.Operators: T NonNullQuickValuePattern[T](System.Nullable`1[T])
+Microsoft.FSharp.Core.Operators: T NonNullV[T](System.Nullable`1[T])
+Microsoft.FSharp.Core.Operators: T NonNull[T](T)
+Microsoft.FSharp.Core.Operators: T NullArgCheck[T](System.String, T)
 Microsoft.FSharp.Core.Operators: T NullArg[T](System.String)
 Microsoft.FSharp.Core.Operators: T PowInteger$W[T](Microsoft.FSharp.Core.FSharpFunc`2[Microsoft.FSharp.Core.Unit,T], Microsoft.FSharp.Core.FSharpFunc`2[T,Microsoft.FSharp.Core.FSharpFunc`2[T,T]], Microsoft.FSharp.Core.FSharpFunc`2[T,Microsoft.FSharp.Core.FSharpFunc`2[T,T]], T, Int32)
 Microsoft.FSharp.Core.Operators: T PowInteger[T](T, Int32)
@@ -1856,6 +1870,7 @@ Microsoft.FSharp.Core.Operators: T Tanh[T](T)
 Microsoft.FSharp.Core.Operators: T Truncate$W[T](Microsoft.FSharp.Core.FSharpFunc`2[T,T], T)
 Microsoft.FSharp.Core.Operators: T Truncate[T](T)
 Microsoft.FSharp.Core.Operators: T Unbox[T](System.Object)
+Microsoft.FSharp.Core.Operators: T WithNull[T](T)
 Microsoft.FSharp.Core.Operators: T op_BitwiseAnd$W[T](Microsoft.FSharp.Core.FSharpFunc`2[T,Microsoft.FSharp.Core.FSharpFunc`2[T,T]], T, T)
 Microsoft.FSharp.Core.Operators: T op_BitwiseAnd[T](T, T)
 Microsoft.FSharp.Core.Operators: T op_BitwiseOr$W[T](Microsoft.FSharp.Core.FSharpFunc`2[T,Microsoft.FSharp.Core.FSharpFunc`2[T,T]], T, T)
@@ -1913,19 +1928,6 @@ Microsoft.FSharp.Core.Operators: Void Decrement(Microsoft.FSharp.Core.FSharpRef`
 Microsoft.FSharp.Core.Operators: Void Ignore[T](T)
 Microsoft.FSharp.Core.Operators: Void Increment(Microsoft.FSharp.Core.FSharpRef`1[System.Int32])
 Microsoft.FSharp.Core.Operators: Void op_ColonEquals[T](Microsoft.FSharp.Core.FSharpRef`1[T], T)
-Microsoft.FSharp.Core.Operators: Boolean IsNullV[T](System.Nullable`1[T])
-Microsoft.FSharp.Core.Operators: Microsoft.FSharp.Core.FSharpChoice`2[Microsoft.FSharp.Core.Unit,T] NullMatchPattern[T](T)
-Microsoft.FSharp.Core.Operators: Microsoft.FSharp.Core.FSharpChoice`2[Microsoft.FSharp.Core.Unit,T] NullValueMatchPattern[T](System.Nullable`1[T])
-Microsoft.FSharp.Core.Operators: System.Nullable`1[T] NullV[T]()
-Microsoft.FSharp.Core.Operators: System.Nullable`1[T] WithNullV[T](T)
-Microsoft.FSharp.Core.Operators: T DefaultIfNullV[T](T, System.Nullable`1[T])
-Microsoft.FSharp.Core.Operators: T DefaultIfNull[T](T, T)
-Microsoft.FSharp.Core.Operators: T NonNullQuickPattern[T](T)
-Microsoft.FSharp.Core.Operators: T NonNullQuickValuePattern[T](System.Nullable`1[T])
-Microsoft.FSharp.Core.Operators: T NonNullV[T](System.Nullable`1[T])
-Microsoft.FSharp.Core.Operators: T NonNull[T](T)
-Microsoft.FSharp.Core.Operators: T NullArgCheck[T](System.String, T)
-Microsoft.FSharp.Core.Operators: T WithNull[T](T)
 Microsoft.FSharp.Core.OptimizedClosures+FSharpFunc`3[T1,T2,TResult]: FSharpFunc`3 Adapt(Microsoft.FSharp.Core.FSharpFunc`2[T1,Microsoft.FSharp.Core.FSharpFunc`2[T2,TResult]])
 Microsoft.FSharp.Core.OptimizedClosures+FSharpFunc`3[T1,T2,TResult]: Microsoft.FSharp.Core.FSharpFunc`2[T2,TResult] Invoke(T1)
 Microsoft.FSharp.Core.OptimizedClosures+FSharpFunc`3[T1,T2,TResult]: TResult Invoke(T1, T2)
diff --git a/tests/FSharp.Core.UnitTests/FSharp.Core.SurfaceArea.netstandard20.release.bsl b/tests/FSharp.Core.UnitTests/FSharp.Core.SurfaceArea.netstandard20.release.bsl
index 5b8c8858e96..e923211a3a2 100644
--- a/tests/FSharp.Core.UnitTests/FSharp.Core.SurfaceArea.netstandard20.release.bsl
+++ b/tests/FSharp.Core.UnitTests/FSharp.Core.SurfaceArea.netstandard20.release.bsl
@@ -1732,7 +1732,10 @@ Microsoft.FSharp.Core.Operators+Unchecked: Boolean Equals[T](T, T)
 Microsoft.FSharp.Core.Operators+Unchecked: Int32 Compare[T](T, T)
 Microsoft.FSharp.Core.Operators+Unchecked: Int32 Hash[T](T)
 Microsoft.FSharp.Core.Operators+Unchecked: T DefaultOf[T]()
+Microsoft.FSharp.Core.Operators+Unchecked: T NonNullQuickPattern[T](T)
+Microsoft.FSharp.Core.Operators+Unchecked: T NonNull[T](T)
 Microsoft.FSharp.Core.Operators+Unchecked: T Unbox[T](System.Object)
+Microsoft.FSharp.Core.Operators: Boolean IsNullV[T](System.Nullable`1[T])
 Microsoft.FSharp.Core.Operators: Boolean IsNull[T](T)
 Microsoft.FSharp.Core.Operators: Boolean Not(Boolean)
 Microsoft.FSharp.Core.Operators: Boolean op_Equality[T](T, T)
@@ -1768,6 +1771,8 @@ Microsoft.FSharp.Core.Operators: Int64 ToInt64[T](T)
 Microsoft.FSharp.Core.Operators: IntPtr ToIntPtr$W[T](Microsoft.FSharp.Core.FSharpFunc`2[T,System.IntPtr], T)
 Microsoft.FSharp.Core.Operators: IntPtr ToIntPtr[T](T)
 Microsoft.FSharp.Core.Operators: Microsoft.FSharp.Collections.FSharpList`1[T] op_Append[T](Microsoft.FSharp.Collections.FSharpList`1[T], Microsoft.FSharp.Collections.FSharpList`1[T])
+Microsoft.FSharp.Core.Operators: Microsoft.FSharp.Core.FSharpChoice`2[Microsoft.FSharp.Core.Unit,T] NullMatchPattern[T](T)
+Microsoft.FSharp.Core.Operators: Microsoft.FSharp.Core.FSharpChoice`2[Microsoft.FSharp.Core.Unit,T] NullValueMatchPattern[T](System.Nullable`1[T])
 Microsoft.FSharp.Core.Operators: Microsoft.FSharp.Core.FSharpFunc`2[T1,T3] op_ComposeLeft[T2,T3,T1](Microsoft.FSharp.Core.FSharpFunc`2[T2,T3], Microsoft.FSharp.Core.FSharpFunc`2[T1,T2])
 Microsoft.FSharp.Core.Operators: Microsoft.FSharp.Core.FSharpFunc`2[T1,T3] op_ComposeRight[T1,T2,T3](Microsoft.FSharp.Core.FSharpFunc`2[T1,T2], Microsoft.FSharp.Core.FSharpFunc`2[T2,T3])
 Microsoft.FSharp.Core.Operators: Microsoft.FSharp.Core.FSharpOption`1[System.String] FailurePattern(System.Exception)
@@ -1797,6 +1802,8 @@ Microsoft.FSharp.Core.Operators: System.Exception Failure(System.String)
 Microsoft.FSharp.Core.Operators: System.IO.TextReader ConsoleIn[T]()
 Microsoft.FSharp.Core.Operators: System.IO.TextWriter ConsoleError[T]()
 Microsoft.FSharp.Core.Operators: System.IO.TextWriter ConsoleOut[T]()
+Microsoft.FSharp.Core.Operators: System.Nullable`1[T] NullV[T]()
+Microsoft.FSharp.Core.Operators: System.Nullable`1[T] WithNullV[T](T)
 Microsoft.FSharp.Core.Operators: System.Object Box[T](T)
 Microsoft.FSharp.Core.Operators: System.String NameOf[T](T)
 Microsoft.FSharp.Core.Operators: System.String ToString[T](T)
@@ -1819,6 +1826,8 @@ Microsoft.FSharp.Core.Operators: T Cos[T](T)
 Microsoft.FSharp.Core.Operators: T Cosh$W[T](Microsoft.FSharp.Core.FSharpFunc`2[T,T], T)
 Microsoft.FSharp.Core.Operators: T Cosh[T](T)
 Microsoft.FSharp.Core.Operators: T DefaultArg[T](Microsoft.FSharp.Core.FSharpOption`1[T], T)
+Microsoft.FSharp.Core.Operators: T DefaultIfNullV[T](T, System.Nullable`1[T])
+Microsoft.FSharp.Core.Operators: T DefaultIfNull[T](T, T)
 Microsoft.FSharp.Core.Operators: T DefaultValueArg[T](Microsoft.FSharp.Core.FSharpValueOption`1[T], T)
 Microsoft.FSharp.Core.Operators: T Exit[T](Int32)
 Microsoft.FSharp.Core.Operators: T Exp$W[T](Microsoft.FSharp.Core.FSharpFunc`2[T,T], T)
@@ -1836,6 +1845,11 @@ Microsoft.FSharp.Core.Operators: T Log10[T](T)
 Microsoft.FSharp.Core.Operators: T Log[T](T)
 Microsoft.FSharp.Core.Operators: T Max[T](T, T)
 Microsoft.FSharp.Core.Operators: T Min[T](T, T)
+Microsoft.FSharp.Core.Operators: T NonNullQuickPattern[T](T)
+Microsoft.FSharp.Core.Operators: T NonNullQuickValuePattern[T](System.Nullable`1[T])
+Microsoft.FSharp.Core.Operators: T NonNullV[T](System.Nullable`1[T])
+Microsoft.FSharp.Core.Operators: T NonNull[T](T)
+Microsoft.FSharp.Core.Operators: T NullArgCheck[T](System.String, T)
 Microsoft.FSharp.Core.Operators: T NullArg[T](System.String)
 Microsoft.FSharp.Core.Operators: T PowInteger$W[T](Microsoft.FSharp.Core.FSharpFunc`2[Microsoft.FSharp.Core.Unit,T], Microsoft.FSharp.Core.FSharpFunc`2[T,Microsoft.FSharp.Core.FSharpFunc`2[T,T]], Microsoft.FSharp.Core.FSharpFunc`2[T,Microsoft.FSharp.Core.FSharpFunc`2[T,T]], T, Int32)
 Microsoft.FSharp.Core.Operators: T PowInteger[T](T, Int32)
@@ -1855,6 +1869,7 @@ Microsoft.FSharp.Core.Operators: T Tanh[T](T)
 Microsoft.FSharp.Core.Operators: T Truncate$W[T](Microsoft.FSharp.Core.FSharpFunc`2[T,T], T)
 Microsoft.FSharp.Core.Operators: T Truncate[T](T)
 Microsoft.FSharp.Core.Operators: T Unbox[T](System.Object)
+Microsoft.FSharp.Core.Operators: T WithNull[T](T)
 Microsoft.FSharp.Core.Operators: T op_BitwiseAnd$W[T](Microsoft.FSharp.Core.FSharpFunc`2[T,Microsoft.FSharp.Core.FSharpFunc`2[T,T]], T, T)
 Microsoft.FSharp.Core.Operators: T op_BitwiseAnd[T](T, T)
 Microsoft.FSharp.Core.Operators: T op_BitwiseOr$W[T](Microsoft.FSharp.Core.FSharpFunc`2[T,Microsoft.FSharp.Core.FSharpFunc`2[T,T]], T, T)
@@ -1912,19 +1927,6 @@ Microsoft.FSharp.Core.Operators: Void Decrement(Microsoft.FSharp.Core.FSharpRef`
 Microsoft.FSharp.Core.Operators: Void Ignore[T](T)
 Microsoft.FSharp.Core.Operators: Void Increment(Microsoft.FSharp.Core.FSharpRef`1[System.Int32])
 Microsoft.FSharp.Core.Operators: Void op_ColonEquals[T](Microsoft.FSharp.Core.FSharpRef`1[T], T)
-Microsoft.FSharp.Core.Operators: Boolean IsNullV[T](System.Nullable`1[T])
-Microsoft.FSharp.Core.Operators: Microsoft.FSharp.Core.FSharpChoice`2[Microsoft.FSharp.Core.Unit,T] NullMatchPattern[T](T)
-Microsoft.FSharp.Core.Operators: Microsoft.FSharp.Core.FSharpChoice`2[Microsoft.FSharp.Core.Unit,T] NullValueMatchPattern[T](System.Nullable`1[T])
-Microsoft.FSharp.Core.Operators: System.Nullable`1[T] NullV[T]()
-Microsoft.FSharp.Core.Operators: System.Nullable`1[T] WithNullV[T](T)
-Microsoft.FSharp.Core.Operators: T DefaultIfNullV[T](T, System.Nullable`1[T])
-Microsoft.FSharp.Core.Operators: T DefaultIfNull[T](T, T)
-Microsoft.FSharp.Core.Operators: T NonNullQuickPattern[T](T)
-Microsoft.FSharp.Core.Operators: T NonNullQuickValuePattern[T](System.Nullable`1[T])
-Microsoft.FSharp.Core.Operators: T NonNullV[T](System.Nullable`1[T])
-Microsoft.FSharp.Core.Operators: T NonNull[T](T)
-Microsoft.FSharp.Core.Operators: T NullArgCheck[T](System.String, T)
-Microsoft.FSharp.Core.Operators: T WithNull[T](T)
 Microsoft.FSharp.Core.OptimizedClosures+FSharpFunc`3[T1,T2,TResult]: FSharpFunc`3 Adapt(Microsoft.FSharp.Core.FSharpFunc`2[T1,Microsoft.FSharp.Core.FSharpFunc`2[T2,TResult]])
 Microsoft.FSharp.Core.OptimizedClosures+FSharpFunc`3[T1,T2,TResult]: Microsoft.FSharp.Core.FSharpFunc`2[T2,TResult] Invoke(T1)
 Microsoft.FSharp.Core.OptimizedClosures+FSharpFunc`3[T1,T2,TResult]: TResult Invoke(T1, T2)
@@ -2555,4 +2557,4 @@ Microsoft.FSharp.Reflection.UnionCaseInfo: System.String Name
 Microsoft.FSharp.Reflection.UnionCaseInfo: System.String ToString()
 Microsoft.FSharp.Reflection.UnionCaseInfo: System.String get_Name()
 Microsoft.FSharp.Reflection.UnionCaseInfo: System.Type DeclaringType
-Microsoft.FSharp.Reflection.UnionCaseInfo: System.Type get_DeclaringType()
+Microsoft.FSharp.Reflection.UnionCaseInfo: System.Type get_DeclaringType()
\ No newline at end of file
diff --git a/tests/FSharp.Core.UnitTests/FSharp.Core.SurfaceArea.netstandard21.debug.bsl b/tests/FSharp.Core.UnitTests/FSharp.Core.SurfaceArea.netstandard21.debug.bsl
index 5a5008e7218..7abc18b3057 100644
--- a/tests/FSharp.Core.UnitTests/FSharp.Core.SurfaceArea.netstandard21.debug.bsl
+++ b/tests/FSharp.Core.UnitTests/FSharp.Core.SurfaceArea.netstandard21.debug.bsl
@@ -1733,7 +1733,10 @@ Microsoft.FSharp.Core.Operators+Unchecked: Boolean Equals[T](T, T)
 Microsoft.FSharp.Core.Operators+Unchecked: Int32 Compare[T](T, T)
 Microsoft.FSharp.Core.Operators+Unchecked: Int32 Hash[T](T)
 Microsoft.FSharp.Core.Operators+Unchecked: T DefaultOf[T]()
+Microsoft.FSharp.Core.Operators+Unchecked: T NonNullQuickPattern[T](T)
+Microsoft.FSharp.Core.Operators+Unchecked: T NonNull[T](T)
 Microsoft.FSharp.Core.Operators+Unchecked: T Unbox[T](System.Object)
+Microsoft.FSharp.Core.Operators: Boolean IsNullV[T](System.Nullable`1[T])
 Microsoft.FSharp.Core.Operators: Boolean IsNull[T](T)
 Microsoft.FSharp.Core.Operators: Boolean Not(Boolean)
 Microsoft.FSharp.Core.Operators: Boolean op_Equality[T](T, T)
@@ -1769,6 +1772,8 @@ Microsoft.FSharp.Core.Operators: Int64 ToInt64[T](T)
 Microsoft.FSharp.Core.Operators: IntPtr ToIntPtr$W[T](Microsoft.FSharp.Core.FSharpFunc`2[T,System.IntPtr], T)
 Microsoft.FSharp.Core.Operators: IntPtr ToIntPtr[T](T)
 Microsoft.FSharp.Core.Operators: Microsoft.FSharp.Collections.FSharpList`1[T] op_Append[T](Microsoft.FSharp.Collections.FSharpList`1[T], Microsoft.FSharp.Collections.FSharpList`1[T])
+Microsoft.FSharp.Core.Operators: Microsoft.FSharp.Core.FSharpChoice`2[Microsoft.FSharp.Core.Unit,T] NullMatchPattern[T](T)
+Microsoft.FSharp.Core.Operators: Microsoft.FSharp.Core.FSharpChoice`2[Microsoft.FSharp.Core.Unit,T] NullValueMatchPattern[T](System.Nullable`1[T])
 Microsoft.FSharp.Core.Operators: Microsoft.FSharp.Core.FSharpFunc`2[T1,T3] op_ComposeLeft[T2,T3,T1](Microsoft.FSharp.Core.FSharpFunc`2[T2,T3], Microsoft.FSharp.Core.FSharpFunc`2[T1,T2])
 Microsoft.FSharp.Core.Operators: Microsoft.FSharp.Core.FSharpFunc`2[T1,T3] op_ComposeRight[T1,T2,T3](Microsoft.FSharp.Core.FSharpFunc`2[T1,T2], Microsoft.FSharp.Core.FSharpFunc`2[T2,T3])
 Microsoft.FSharp.Core.Operators: Microsoft.FSharp.Core.FSharpOption`1[System.String] FailurePattern(System.Exception)
@@ -1798,6 +1803,8 @@ Microsoft.FSharp.Core.Operators: System.Exception Failure(System.String)
 Microsoft.FSharp.Core.Operators: System.IO.TextReader ConsoleIn[T]()
 Microsoft.FSharp.Core.Operators: System.IO.TextWriter ConsoleError[T]()
 Microsoft.FSharp.Core.Operators: System.IO.TextWriter ConsoleOut[T]()
+Microsoft.FSharp.Core.Operators: System.Nullable`1[T] NullV[T]()
+Microsoft.FSharp.Core.Operators: System.Nullable`1[T] WithNullV[T](T)
 Microsoft.FSharp.Core.Operators: System.Object Box[T](T)
 Microsoft.FSharp.Core.Operators: System.RuntimeMethodHandle MethodHandleOf[T,TResult](Microsoft.FSharp.Core.FSharpFunc`2[T,TResult])
 Microsoft.FSharp.Core.Operators: System.String NameOf[T](T)
@@ -1821,6 +1828,8 @@ Microsoft.FSharp.Core.Operators: T Cos[T](T)
 Microsoft.FSharp.Core.Operators: T Cosh$W[T](Microsoft.FSharp.Core.FSharpFunc`2[T,T], T)
 Microsoft.FSharp.Core.Operators: T Cosh[T](T)
 Microsoft.FSharp.Core.Operators: T DefaultArg[T](Microsoft.FSharp.Core.FSharpOption`1[T], T)
+Microsoft.FSharp.Core.Operators: T DefaultIfNullV[T](T, System.Nullable`1[T])
+Microsoft.FSharp.Core.Operators: T DefaultIfNull[T](T, T)
 Microsoft.FSharp.Core.Operators: T DefaultValueArg[T](Microsoft.FSharp.Core.FSharpValueOption`1[T], T)
 Microsoft.FSharp.Core.Operators: T Exit[T](Int32)
 Microsoft.FSharp.Core.Operators: T Exp$W[T](Microsoft.FSharp.Core.FSharpFunc`2[T,T], T)
@@ -1838,6 +1847,11 @@ Microsoft.FSharp.Core.Operators: T Log10[T](T)
 Microsoft.FSharp.Core.Operators: T Log[T](T)
 Microsoft.FSharp.Core.Operators: T Max[T](T, T)
 Microsoft.FSharp.Core.Operators: T Min[T](T, T)
+Microsoft.FSharp.Core.Operators: T NonNullQuickPattern[T](T)
+Microsoft.FSharp.Core.Operators: T NonNullQuickValuePattern[T](System.Nullable`1[T])
+Microsoft.FSharp.Core.Operators: T NonNullV[T](System.Nullable`1[T])
+Microsoft.FSharp.Core.Operators: T NonNull[T](T)
+Microsoft.FSharp.Core.Operators: T NullArgCheck[T](System.String, T)
 Microsoft.FSharp.Core.Operators: T NullArg[T](System.String)
 Microsoft.FSharp.Core.Operators: T PowInteger$W[T](Microsoft.FSharp.Core.FSharpFunc`2[Microsoft.FSharp.Core.Unit,T], Microsoft.FSharp.Core.FSharpFunc`2[T,Microsoft.FSharp.Core.FSharpFunc`2[T,T]], Microsoft.FSharp.Core.FSharpFunc`2[T,Microsoft.FSharp.Core.FSharpFunc`2[T,T]], T, Int32)
 Microsoft.FSharp.Core.Operators: T PowInteger[T](T, Int32)
@@ -1857,6 +1871,7 @@ Microsoft.FSharp.Core.Operators: T Tanh[T](T)
 Microsoft.FSharp.Core.Operators: T Truncate$W[T](Microsoft.FSharp.Core.FSharpFunc`2[T,T], T)
 Microsoft.FSharp.Core.Operators: T Truncate[T](T)
 Microsoft.FSharp.Core.Operators: T Unbox[T](System.Object)
+Microsoft.FSharp.Core.Operators: T WithNull[T](T)
 Microsoft.FSharp.Core.Operators: T op_BitwiseAnd$W[T](Microsoft.FSharp.Core.FSharpFunc`2[T,Microsoft.FSharp.Core.FSharpFunc`2[T,T]], T, T)
 Microsoft.FSharp.Core.Operators: T op_BitwiseAnd[T](T, T)
 Microsoft.FSharp.Core.Operators: T op_BitwiseOr$W[T](Microsoft.FSharp.Core.FSharpFunc`2[T,Microsoft.FSharp.Core.FSharpFunc`2[T,T]], T, T)
@@ -1914,19 +1929,6 @@ Microsoft.FSharp.Core.Operators: Void Decrement(Microsoft.FSharp.Core.FSharpRef`
 Microsoft.FSharp.Core.Operators: Void Ignore[T](T)
 Microsoft.FSharp.Core.Operators: Void Increment(Microsoft.FSharp.Core.FSharpRef`1[System.Int32])
 Microsoft.FSharp.Core.Operators: Void op_ColonEquals[T](Microsoft.FSharp.Core.FSharpRef`1[T], T)
-Microsoft.FSharp.Core.Operators: Boolean IsNullV[T](System.Nullable`1[T])
-Microsoft.FSharp.Core.Operators: Microsoft.FSharp.Core.FSharpChoice`2[Microsoft.FSharp.Core.Unit,T] NullMatchPattern[T](T)
-Microsoft.FSharp.Core.Operators: Microsoft.FSharp.Core.FSharpChoice`2[Microsoft.FSharp.Core.Unit,T] NullValueMatchPattern[T](System.Nullable`1[T])
-Microsoft.FSharp.Core.Operators: System.Nullable`1[T] NullV[T]()
-Microsoft.FSharp.Core.Operators: System.Nullable`1[T] WithNullV[T](T)
-Microsoft.FSharp.Core.Operators: T DefaultIfNullV[T](T, System.Nullable`1[T])
-Microsoft.FSharp.Core.Operators: T DefaultIfNull[T](T, T)
-Microsoft.FSharp.Core.Operators: T NonNullQuickPattern[T](T)
-Microsoft.FSharp.Core.Operators: T NonNullQuickValuePattern[T](System.Nullable`1[T])
-Microsoft.FSharp.Core.Operators: T NonNullV[T](System.Nullable`1[T])
-Microsoft.FSharp.Core.Operators: T NonNull[T](T)
-Microsoft.FSharp.Core.Operators: T NullArgCheck[T](System.String, T)
-Microsoft.FSharp.Core.Operators: T WithNull[T](T)
 Microsoft.FSharp.Core.OptimizedClosures+FSharpFunc`3[T1,T2,TResult]: FSharpFunc`3 Adapt(Microsoft.FSharp.Core.FSharpFunc`2[T1,Microsoft.FSharp.Core.FSharpFunc`2[T2,TResult]])
 Microsoft.FSharp.Core.OptimizedClosures+FSharpFunc`3[T1,T2,TResult]: Microsoft.FSharp.Core.FSharpFunc`2[T2,TResult] Invoke(T1)
 Microsoft.FSharp.Core.OptimizedClosures+FSharpFunc`3[T1,T2,TResult]: TResult Invoke(T1, T2)
diff --git a/tests/FSharp.Core.UnitTests/FSharp.Core.SurfaceArea.netstandard21.release.bsl b/tests/FSharp.Core.UnitTests/FSharp.Core.SurfaceArea.netstandard21.release.bsl
index 12f8380fbfb..a633fb0dc1b 100644
--- a/tests/FSharp.Core.UnitTests/FSharp.Core.SurfaceArea.netstandard21.release.bsl
+++ b/tests/FSharp.Core.UnitTests/FSharp.Core.SurfaceArea.netstandard21.release.bsl
@@ -1733,7 +1733,10 @@ Microsoft.FSharp.Core.Operators+Unchecked: Boolean Equals[T](T, T)
 Microsoft.FSharp.Core.Operators+Unchecked: Int32 Compare[T](T, T)
 Microsoft.FSharp.Core.Operators+Unchecked: Int32 Hash[T](T)
 Microsoft.FSharp.Core.Operators+Unchecked: T DefaultOf[T]()
+Microsoft.FSharp.Core.Operators+Unchecked: T NonNullQuickPattern[T](T)
+Microsoft.FSharp.Core.Operators+Unchecked: T NonNull[T](T)
 Microsoft.FSharp.Core.Operators+Unchecked: T Unbox[T](System.Object)
+Microsoft.FSharp.Core.Operators: Boolean IsNullV[T](System.Nullable`1[T])
 Microsoft.FSharp.Core.Operators: Boolean IsNull[T](T)
 Microsoft.FSharp.Core.Operators: Boolean Not(Boolean)
 Microsoft.FSharp.Core.Operators: Boolean op_Equality[T](T, T)
@@ -1769,6 +1772,8 @@ Microsoft.FSharp.Core.Operators: Int64 ToInt64[T](T)
 Microsoft.FSharp.Core.Operators: IntPtr ToIntPtr$W[T](Microsoft.FSharp.Core.FSharpFunc`2[T,System.IntPtr], T)
 Microsoft.FSharp.Core.Operators: IntPtr ToIntPtr[T](T)
 Microsoft.FSharp.Core.Operators: Microsoft.FSharp.Collections.FSharpList`1[T] op_Append[T](Microsoft.FSharp.Collections.FSharpList`1[T], Microsoft.FSharp.Collections.FSharpList`1[T])
+Microsoft.FSharp.Core.Operators: Microsoft.FSharp.Core.FSharpChoice`2[Microsoft.FSharp.Core.Unit,T] NullMatchPattern[T](T)
+Microsoft.FSharp.Core.Operators: Microsoft.FSharp.Core.FSharpChoice`2[Microsoft.FSharp.Core.Unit,T] NullValueMatchPattern[T](System.Nullable`1[T])
 Microsoft.FSharp.Core.Operators: Microsoft.FSharp.Core.FSharpFunc`2[T1,T3] op_ComposeLeft[T2,T3,T1](Microsoft.FSharp.Core.FSharpFunc`2[T2,T3], Microsoft.FSharp.Core.FSharpFunc`2[T1,T2])
 Microsoft.FSharp.Core.Operators: Microsoft.FSharp.Core.FSharpFunc`2[T1,T3] op_ComposeRight[T1,T2,T3](Microsoft.FSharp.Core.FSharpFunc`2[T1,T2], Microsoft.FSharp.Core.FSharpFunc`2[T2,T3])
 Microsoft.FSharp.Core.Operators: Microsoft.FSharp.Core.FSharpOption`1[System.String] FailurePattern(System.Exception)
@@ -1798,6 +1803,8 @@ Microsoft.FSharp.Core.Operators: System.Exception Failure(System.String)
 Microsoft.FSharp.Core.Operators: System.IO.TextReader ConsoleIn[T]()
 Microsoft.FSharp.Core.Operators: System.IO.TextWriter ConsoleError[T]()
 Microsoft.FSharp.Core.Operators: System.IO.TextWriter ConsoleOut[T]()
+Microsoft.FSharp.Core.Operators: System.Nullable`1[T] NullV[T]()
+Microsoft.FSharp.Core.Operators: System.Nullable`1[T] WithNullV[T](T)
 Microsoft.FSharp.Core.Operators: System.Object Box[T](T)
 Microsoft.FSharp.Core.Operators: System.String NameOf[T](T)
 Microsoft.FSharp.Core.Operators: System.String ToString[T](T)
@@ -1820,6 +1827,8 @@ Microsoft.FSharp.Core.Operators: T Cos[T](T)
 Microsoft.FSharp.Core.Operators: T Cosh$W[T](Microsoft.FSharp.Core.FSharpFunc`2[T,T], T)
 Microsoft.FSharp.Core.Operators: T Cosh[T](T)
 Microsoft.FSharp.Core.Operators: T DefaultArg[T](Microsoft.FSharp.Core.FSharpOption`1[T], T)
+Microsoft.FSharp.Core.Operators: T DefaultIfNullV[T](T, System.Nullable`1[T])
+Microsoft.FSharp.Core.Operators: T DefaultIfNull[T](T, T)
 Microsoft.FSharp.Core.Operators: T DefaultValueArg[T](Microsoft.FSharp.Core.FSharpValueOption`1[T], T)
 Microsoft.FSharp.Core.Operators: T Exit[T](Int32)
 Microsoft.FSharp.Core.Operators: T Exp$W[T](Microsoft.FSharp.Core.FSharpFunc`2[T,T], T)
@@ -1837,6 +1846,11 @@ Microsoft.FSharp.Core.Operators: T Log10[T](T)
 Microsoft.FSharp.Core.Operators: T Log[T](T)
 Microsoft.FSharp.Core.Operators: T Max[T](T, T)
 Microsoft.FSharp.Core.Operators: T Min[T](T, T)
+Microsoft.FSharp.Core.Operators: T NonNullQuickPattern[T](T)
+Microsoft.FSharp.Core.Operators: T NonNullQuickValuePattern[T](System.Nullable`1[T])
+Microsoft.FSharp.Core.Operators: T NonNullV[T](System.Nullable`1[T])
+Microsoft.FSharp.Core.Operators: T NonNull[T](T)
+Microsoft.FSharp.Core.Operators: T NullArgCheck[T](System.String, T)
 Microsoft.FSharp.Core.Operators: T NullArg[T](System.String)
 Microsoft.FSharp.Core.Operators: T PowInteger$W[T](Microsoft.FSharp.Core.FSharpFunc`2[Microsoft.FSharp.Core.Unit,T], Microsoft.FSharp.Core.FSharpFunc`2[T,Microsoft.FSharp.Core.FSharpFunc`2[T,T]], Microsoft.FSharp.Core.FSharpFunc`2[T,Microsoft.FSharp.Core.FSharpFunc`2[T,T]], T, Int32)
 Microsoft.FSharp.Core.Operators: T PowInteger[T](T, Int32)
@@ -1856,6 +1870,7 @@ Microsoft.FSharp.Core.Operators: T Tanh[T](T)
 Microsoft.FSharp.Core.Operators: T Truncate$W[T](Microsoft.FSharp.Core.FSharpFunc`2[T,T], T)
 Microsoft.FSharp.Core.Operators: T Truncate[T](T)
 Microsoft.FSharp.Core.Operators: T Unbox[T](System.Object)
+Microsoft.FSharp.Core.Operators: T WithNull[T](T)
 Microsoft.FSharp.Core.Operators: T op_BitwiseAnd$W[T](Microsoft.FSharp.Core.FSharpFunc`2[T,Microsoft.FSharp.Core.FSharpFunc`2[T,T]], T, T)
 Microsoft.FSharp.Core.Operators: T op_BitwiseAnd[T](T, T)
 Microsoft.FSharp.Core.Operators: T op_BitwiseOr$W[T](Microsoft.FSharp.Core.FSharpFunc`2[T,Microsoft.FSharp.Core.FSharpFunc`2[T,T]], T, T)
@@ -1913,19 +1928,6 @@ Microsoft.FSharp.Core.Operators: Void Decrement(Microsoft.FSharp.Core.FSharpRef`
 Microsoft.FSharp.Core.Operators: Void Ignore[T](T)
 Microsoft.FSharp.Core.Operators: Void Increment(Microsoft.FSharp.Core.FSharpRef`1[System.Int32])
 Microsoft.FSharp.Core.Operators: Void op_ColonEquals[T](Microsoft.FSharp.Core.FSharpRef`1[T], T)
-Microsoft.FSharp.Core.Operators: Boolean IsNullV[T](System.Nullable`1[T])
-Microsoft.FSharp.Core.Operators: Microsoft.FSharp.Core.FSharpChoice`2[Microsoft.FSharp.Core.Unit,T] NullMatchPattern[T](T)
-Microsoft.FSharp.Core.Operators: Microsoft.FSharp.Core.FSharpChoice`2[Microsoft.FSharp.Core.Unit,T] NullValueMatchPattern[T](System.Nullable`1[T])
-Microsoft.FSharp.Core.Operators: System.Nullable`1[T] NullV[T]()
-Microsoft.FSharp.Core.Operators: System.Nullable`1[T] WithNullV[T](T)
-Microsoft.FSharp.Core.Operators: T DefaultIfNullV[T](T, System.Nullable`1[T])
-Microsoft.FSharp.Core.Operators: T DefaultIfNull[T](T, T)
-Microsoft.FSharp.Core.Operators: T NonNullQuickPattern[T](T)
-Microsoft.FSharp.Core.Operators: T NonNullQuickValuePattern[T](System.Nullable`1[T])
-Microsoft.FSharp.Core.Operators: T NonNullV[T](System.Nullable`1[T])
-Microsoft.FSharp.Core.Operators: T NonNull[T](T)
-Microsoft.FSharp.Core.Operators: T NullArgCheck[T](System.String, T)
-Microsoft.FSharp.Core.Operators: T WithNull[T](T)
 Microsoft.FSharp.Core.OptimizedClosures+FSharpFunc`3[T1,T2,TResult]: FSharpFunc`3 Adapt(Microsoft.FSharp.Core.FSharpFunc`2[T1,Microsoft.FSharp.Core.FSharpFunc`2[T2,TResult]])
 Microsoft.FSharp.Core.OptimizedClosures+FSharpFunc`3[T1,T2,TResult]: Microsoft.FSharp.Core.FSharpFunc`2[T2,TResult] Invoke(T1)
 Microsoft.FSharp.Core.OptimizedClosures+FSharpFunc`3[T1,T2,TResult]: TResult Invoke(T1, T2)