diff --git a/src/Compiler/TypedTree/TypedTree.fsi b/src/Compiler/TypedTree/TypedTree.fsi
index c6225097cb..8cee5e349f 100644
--- a/src/Compiler/TypedTree/TypedTree.fsi
+++ b/src/Compiler/TypedTree/TypedTree.fsi
@@ -4238,8 +4238,8 @@ type Construct =
 
 #if !NO_TYPEPROVIDERS
     /// Compute the definition location of a provided item
-    static member ComputeDefinitionLocationOfProvidedItem:
-        p: Tainted<#IProvidedCustomAttributeProvider> -> Text.range option
+    static member ComputeDefinitionLocationOfProvidedItem<'T when 'T :> IProvidedCustomAttributeProvider> :
+        p: Tainted<'T> -> range option
 #endif
 
     /// Key a Tycon or TyconRef by both mangled type demangled name.
diff --git a/src/FSharp.Core/local.fsi b/src/FSharp.Core/local.fsi
index 2af9465bea..9c2ebc0bbf 100644
--- a/src/FSharp.Core/local.fsi
+++ b/src/FSharp.Core/local.fsi
@@ -6,22 +6,22 @@ open Microsoft.FSharp.Core
 
 [<AutoOpen>]
 module internal DetailedExceptions =
-    val inline invalidArgFmt: arg: string -> format: string -> paramArray: obj array -> _
-    val inline invalidOpFmt: format: string -> paramArray: obj array -> _
-    val invalidArgDifferentListLength: arg1: string -> arg2: string -> diff: int -> _
+    val inline invalidArgFmt: arg: string -> format: string -> paramArray: obj array -> 'T
+    val inline invalidOpFmt: format: string -> paramArray: obj array -> 'T
+    val invalidArgDifferentListLength: arg1: string -> arg2: string -> diff: int -> 'T
 
     val invalidArg3ListsDifferent:
-        arg1: string -> arg2: string -> arg3: string -> len1: int -> len2: int -> len3: int -> _
+        arg1: string -> arg2: string -> arg3: string -> len1: int -> len2: int -> len3: int -> 'T
 
-    val invalidOpListNotEnoughElements: index: int -> _
-    val invalidOpExceededSeqLength: fnName: string -> diff: int -> len: int -> _
-    val inline invalidArgInputMustBeNonNegative: arg: string -> count: int -> _
-    val inline invalidArgInputMustBePositive: arg: string -> count: int -> _
-    val invalidArgOutOfRange: arg: string -> index: int -> text: string -> bound: int -> _
-    val invalidArgDifferentArrayLength: arg1: string -> len1: int -> arg2: string -> len2: int -> _
+    val invalidOpListNotEnoughElements: index: int -> 'T
+    val invalidOpExceededSeqLength: fnName: string -> diff: int -> len: int -> 'T
+    val inline invalidArgInputMustBeNonNegative: arg: string -> count: int -> 'T
+    val inline invalidArgInputMustBePositive: arg: string -> count: int -> 'T
+    val invalidArgOutOfRange: arg: string -> index: int -> text: string -> bound: int -> 'T
+    val invalidArgDifferentArrayLength: arg1: string -> len1: int -> arg2: string -> len2: int -> 'T
 
     val invalidArg3ArraysDifferent:
-        arg1: string -> arg2: string -> arg3: string -> len1: int -> len2: int -> len3: int -> _
+        arg1: string -> arg2: string -> arg3: string -> len1: int -> len2: int -> len3: int -> 'T
 
 // Definitions internal for this library.
 namespace Microsoft.FSharp.Primitives.Basics