anchor.diff:      /// a .NET 2.0 constrained call. A constrained call is only used for calls where 
       // the object argument is a value type or generic type, and the call is to a method
       //  on System.Object, System.ValueType, System.Enum or an interface methods.
  -    | PossibleConstrainedCall of TType
  +    | PossibleConstrainedCall of typ: TType
   
       /// A normal use of a value
       | NormalValUse
  
positive.code: [<NoEquality; NoComparison (* ; StructuredFormatDisplay("{DebugText}") *) >]
  type ModuleOrNamespaceExpr = 
      /// Indicates the module is a module with a signature 
      | TMAbstract of ModuleOrNamespaceExprWithSig
  
      /// Indicates the module fragment is made of several module fragments in succession 
      | TMDefs of ModuleOrNamespaceExpr list  
  
      /// Indicates the module fragment is a 'let' definition 
      | TMDefLet of Binding * range
  
      /// Indicates the module fragment is an evaluation of expression for side-effects
      | TMDefDo of Expr * range
  
      /// Indicates the module fragment is a 'rec' or 'non-rec' definition of types and modules
      | TMDefRec of isRec: bool * Tycon list * ModuleOrNamespaceBinding list * range
  
      // %+A formatting is used, so this is not needed
      //[<DebuggerBrowsable(DebuggerBrowsableState.Never)>]
  
negative.code:     ///    tinst -- the instantiation of the declaring type
      ///    rfref -- the reference to the record field
      ///    isSetProp -- indicates if this is a set of a record field
      | FSRecdFieldSln of tinst: TypeInst * rfref: RecdFieldRef * isSetProp: bool
  
      /// Indicates a trait is solved by an F# anonymous record field.
      | FSAnonRecdFieldSln of anonInfo: AnonRecdTypeInfo * tinst: TypeInst * index: int
  
      /// ILMethSln(ty, extOpt, ilMethodRef, minst)
      ///
  