F# explicit member constraints: The type variable ^T could not be generalized because it would escape its scope

Question

I\'m attempting to use explicit member constraints in F#. The documentation says \"F# supports the complete set of constraints that is supported by the common language runti

Answer 1

F# specification:

A type of the form ^ident is a statically resolved variable type. A fresh type inference variable is created and added to the type inference environment (see §14.6). This type variable is tagged with an attribute indicating it may not be generalized except at inline definitions (see §14.7), and likewise any type variable with which it is equated via a type inference equation may similarly not be generalized.

http://research.microsoft.com/en-us/um/cambridge/projects/fsharp/manual/spec.html