anchor.diff:          | Item.AnonRecdField(info, tys, i, _) ->
               writeString ItemKeyTags.itemAnonymousRecordField
               writeString info.ILTypeRef.BasicQualifiedName
  -            tys |> List.iter writeType
  +            tys |> List.iter (writeType false)
               writeInt32 i
   
           | Item.NewDef ident ->
  
positive.code:             infos
              |> List.iter (fun info -> writeEntityRef info.DeclaringTyconRef)
  
          | Item.TypeVar(nm, typar) ->
              writeString ItemKeyTags.itemTypeVar
              writeString nm
              writeTypar typar
  
          | Item.Types(_, [ty]) ->
              writeType ty
  
          | Item.UnqualifiedType [tcref] ->
              writeEntityRef tcref
  
negative.code:                 writeEntityRef tcref
                  writeString nm
  
      and writeMeasure isStandalone (ms: Measure) =
          match ms with
          | Measure.Var typar -> 
              writeString ItemKeyTags.typeMeasureVar
              writeTypar isStandalone typar
          | Measure.Con tcref -> 
              writeString ItemKeyTags.typeMeasureCon
              writeEntityRef tcref
          | _ ->
              ()
  
      and writeTypar (isStandalone: bool) (typar: Typar) =
          match typar.Solution with
          | Some ty -> writeType isStandalone ty
          | _ -> 
              if isStandalone then
                  writeInt64 typar.Stamp
  
      let writeValRef (vref: ValRef) =
          match vref.MemberInfo with
          | Some memberInfo ->
              writeString ItemKeyTags.itemValueMember
              writeEntityRef memberInfo.ApparentEnclosingEntity
              writeString vref.LogicalName
              writeString ItemKeyTags.parameters
              writeType false vref.Type
          | _ ->
              writeString ItemKeyTags.itemValue
              writeString vref.LogicalName
              writeString ItemKeyTags.parameters
              writeType false vref.Type
              match vref.DeclaringEntity with
              | ParentNone -> writeChar '%'
              | Parent eref -> writeEntityRef eref
  