anchor.diff:  #endif
       | _ -> GenType cenv m tyenvinner fv.Type
   
  -and GetIlxClosureFreeVars cenv mgbuf m selfv eenvouter takenNames expr =
  +and GetIlxClosureFreeVars cenv m selfv eenvouter takenNames expr =
   
       // Choose a base name for the closure
       let basename = 
  
positive.code:     let takenNames = vs |> List.map (fun v -> v.CompiledName)
  
      // Get the free variables and the information about the closure, add the free variables to the environment
      let (cloAttribs,cloInternalFreeTyvars,cloContractFreeTyvars,_,cloFreeVars,ilCloTypeRef,ilCloFreeVars,eenvinner) = GetIlxClosureFreeVars cenv mgbuf m selfv eenvouter takenNames expr
  
      // Put the type and value arguments into the environment
      let rec getClosureArgs eenv ntmargs tvsl (vs:Val list) = 
  
negative.code:         [(useMethodImpl,methodImplGenerator,methTyparsOfOverridingMethod),mdef]
  
  and GenObjectExpr cenv cgbuf eenvouter expr (baseType,baseValOpt,basecall,overrides,interfaceImpls,m)  sequel =
      let cloinfo,_,eenvinner  = GetIlxClosureInfo cenv m false None eenvouter expr 
  
      let cloAttribs = cloinfo.cloAttribs
      let cloFreeVars = cloinfo.cloFreeVars
  