anchor.diff:                 tagsEqTested) 
   
       let expr = if tycon.IsStructOrEnumTycon then expr else mkBindNullComparison g m thise thatcaste expr
  -    let expr = mkBindThatAddrIfNeeded g m ty thataddrvOpt tcv tce expr
  +    let expr = mkBindThatAddrIfNeeded m thataddrvOpt tcv expr
       let expr = mkCompGenLet m tcv thatcaste expr
       expr
       
  
positive.code: 
  let mkBindThatAddr g m ty thataddrv thatv thate expr =
      if isStructTy g ty then
          mkCompGenLet m thataddrv (mkValAddr m (mkLocalValRef thatv))  expr
      else
          mkCompGenLet m thataddrv thate expr
  
  let mkBindThatAddrIfNeeded g m ty thataddrvOpt thatv thate expr =
      match thataddrvOpt with 
      | None -> expr
      | Some thataddrv ->
          mkCompGenLet m thataddrv (mkValAddr m (mkLocalValRef thatv))  expr
  
  let mkDerefThis g m (thisv: Val) thise =
  
negative.code:     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 mkTest (fspec:RecdField) = 
          let fty = fspec.FormalType 
  