anchor.diff:      p_bool pkey.MemberIsOverride st 
       p_string pkey.LogicalName st 
       p_int pkey.TotalArgCount st 
  +    let isStructThisArgPos = 
  +        match key.TypeForLinkage with 
  +        | None -> false
  +        | Some ty -> checkForInRefStructThisArg st ty
  +    st.isStructThisArgPos <- isStructThisArgPos
       p_option p_ty key.TypeForLinkage st
  +    st.isStructThisArgPos <- false
   
   let rec p_vref ctxt x st = 
       match x with 
  
positive.code: 
  let fill_p_attribs,p_attribs = p_hole()
  
  let p_nonlocal_val_ref (nlv:NonLocalValOrMemberRef) st =
      let a = nlv.EnclosingEntity
      let key = nlv.ItemKey
  
negative.code:     onlerefs: Table<int * int[]> 
      osimpletys: Table<int>
      oglobals : TcGlobals
      mutable isStructThisArgPos : bool
      ofile : string
      /// Indicates if we are using in-memory format, where we store XML docs as well
      oInMem : bool
  