Add FS-1017 (#91)

Author: roboz0r

spec/rfc-status.md

@@ -26,7 +26,7 @@
 | F# 4.1 | FS-1014 | [Struct Discriminated Unions](https://github.com/fsharp/fslang-design/tree/main/FSharp-4.1/FS-1014-struct-discriminated-unions.md) | [completed](https://github.com/fsharp/fslang-spec/pull/90) |
 | F# 4.1 | FS-1015 | [Support for fixed](https://github.com/fsharp/fslang-design/tree/main/FSharp-4.1/FS-1015-support-for-fixed.md) | [completed](https://github.com/fsharp/fslang-spec/pull/65) |
 | F# 4.1 | FS-1016 | [Unreserve Keywords](https://github.com/fsharp/fslang-design/tree/main/FSharp-4.1/FS-1016-unreserve-keywords.md) | [completed](https://github.com/fsharp/fslang-spec/pull/63) |
-| F# 4.1 | FS-1017 | [Fix SRTP Constraint Parsing](https://github.com/fsharp/fslang-design/tree/main/FSharp-4.1/FS-1017-fix-srtp-constraint-parsing.md) | |
+| F# 4.1 | FS-1017 | [Fix SRTP Constraint Parsing](https://github.com/fsharp/fslang-design/tree/main/FSharp-4.1/FS-1017-fix-srtp-constraint-parsing.md) | [completed](https://github.com/fsharp/fslang-spec/pull/91) |
 | F# 4.1 | FS-1018 | [Adjust Extensions Method Scope](https://github.com/fsharp/fslang-design/tree/main/FSharp-4.1/FS-1018-adjust-extensions-method-scope.md) | |
 | F# 4.1 | FS-1019 | [Implicitly Add the Module Suffix](https://github.com/fsharp/fslang-design/tree/main/FSharp-4.1/FS-1019-implicitly-add-the-module-suffix.md) | [completed](https://github.com/fsharp/fslang-spec/pull/77) |
 | F# 4.1 | FS-1020 | [ByRef Returns](https://github.com/fsharp/fslang-design/tree/main/FSharp-4.1/FS-1020-byref-returns.md) | |

spec/types-and-type-constraints.md

@@ -83,8 +83,8 @@ typar-constraints :=
     when constraint and ... and constraint
 
 static-typars :=
-    '^' ident
-    '(' '^' ident or ... or '^' ident ')'
+    type
+    '(' type or ... or type ')'
 ```
 
 In a type instantiation, the type name and the opening angle bracket must be syntactically adjacent
@@ -322,7 +322,7 @@ Nullness constraints also arise from expressions of the form `null`.
 An _explicit member constraint_ has the following form:
 
 ```fsgrammar
-'(' typar or ... or typar ')' ':' '(' member-sig ')'
+static-typars ':' '(' member-sig ')'
 ```
 
 For example, the F# library defines the + operator with the following signature:
@@ -338,9 +338,7 @@ correspond to parameters `^a`, `^b`, and `^c`. If these are named types, then ei
 
 In addition:
 
-- Each `typar` must be a statically resolved type variable (see [§](types-and-type-constraints.md#variable-types)) in the form `^ident`. This ensures
-  that the constraint is resolved at compile time against a corresponding named type. It also
-  means that generic code cannot use this constraint unless that code is marked inline (see [§](inference-procedures.md#generalization)).
+- The types in the support set can be statically resolved type variables (see[§](types-and-type-constraints.md#variable-types)) in the form `^ident`, or concrete types. The use of statically resolved type variables ensures that the constraint is resolved at compile time against a corresponding named type. It also means that generic code cannot use this constraint unless that code is marked inline (see [§](inference-procedures.md#generalization)).
 - The `member-sig` cannot be generic; that is, it cannot include explicit type parameter definitions.
 - The conditions that govern when a type satisfies a member constraint are specified in (see [§](inference-procedures.md#solving-member-constraints)).