anchor.diff:      let fields = tycon.AllInstanceFieldsAsList
       let tinst,ty = mkMinimalTy g tcref
       let tcv,tce = mkCompGenLocal m "objTemp" ty    // let tcv = thate
  -    let thataddrv,thataddre = mkThatAddrLocal g m ty      // let thataddrv = &tcv, if a struct
  +    let thataddrv,thataddre = mkThatAddrLocal g m tce ty      // let thataddrv = &tcv, if a struct
       
       let mkTest (fspec:RecdField) = 
           let fty = fspec.FormalType 
  
positive.code: 
  
  /// Build the comparison implementation for a union type when parameterized by a comparer
  let mkUnionCompareWithComparer g tcref (tycon:Tycon) (_thisv,thise) (_thatv,thate) compe = 
      let m = tycon.Range 
      let ucases = tycon.UnionCasesAsList
      let tinst,ty = mkMinimalTy g tcref
      let thistagv,thistage = mkCompGenLocal m "thisTag" g.int_ty  
      let thattagv,thattage = mkCompGenLocal m "thatTag" g.int_ty  
      let thataddrv,thataddre = mkThatAddrLocal g m ty
      let tcv,tce = mkCompGenLocal m "objTemp" ty    // let tcv = thate
  
      let expr = 
          let mbuilder = new MatchBuilder(NoSequencePointAtInvisibleBinding,m ) 
  
negative.code: //------------------------------------------------------------------------- 
  
  let mkThatAddrLocal g m ty = mkCompGenLocal m "obj" (mkThisTy g ty)     
  let mkThatAddrLocalIfNeeded g m tcve ty = 
      if isStructTy g ty then 
          let thataddrv, thataddre = mkCompGenLocal m "obj" (mkThisTy g ty) 
          Some thataddrv, thataddre
      else None,tcve
          
  let mkThisVarThatVar g m ty =
      let thisv,thise = mkThisVar g m ty
  