anchor.diff:  }
   
   type TestUnion =
  -    | StringCase of String: string * string
  -    | IntCase of Int: int
  +    | StringCase of SomeString: string * string
  +    | IntCase of SomeInt: int
   
   type RecordF = { F : int -> string }
   
  
positive.code: type TestType4 = class end
  type TestType5 = class end
  
  type GenericRecord<'A,'B> = { a: 'A; b: 'B }
  
  type MyEnum =
  
negative.code:     let unionCaseInfos = [| unionCase1Info; unionCase2Info |]
      let unionCaseValueFields = [| unionCase1ValueFields; unionCase2ValueFields |]
  
      let expectedUnionCase1Fields = 0, "StringCase", [| typeof<string>; typeof<string> |], [| "SomeString"; "Item2" |], [| box "a"; box "b" |]
      let expectedUnionCase2Fields = 1, "IntCase", [| typeof<int> |], [| "SomeInt" |], [| box 1 |]
      let expectedUnionFields = [| expectedUnionCase1Fields; expectedUnionCase2Fields |]
  
      let unionFields =
  