anchor.diff:                                // PassA: inherit typ(arg) as base - pass through 
                                 // PassA: pick up baseValOpt! 
                                 let baseValOpt = incrClassCtorLhsOpt |> Option.bind (fun x -> x.InstanceCtorBaseValOpt)
  -                              let innerState = (incrClassCtorLhsOpt,env,tpenv,recBindIdx,uncheckedBindsRev)
  +                              let innerState = (incrClassCtorLhsOpt,envForTycon,tpenv,recBindIdx,uncheckedBindsRev)
                                 [PassAInherit (typ,arg,baseValOpt,m); PassAIncrClassCtorJustAfterSuperInit], innerState
                                 
                                 
  
positive.code:                     (initialInnerState,binds) ||> List.collectFold (fun innerState defn ->
  
                          let (TyconBindingDefn(containerInfo,newslotsOK,declKind,classMemberDef,m)) = defn
                          let (incrClassCtorLhsOpt,env,tpenv,recBindIdx,uncheckedBindsRev) = innerState
  
                          if tcref.IsTypeAbbrev then error(Error(FSComp.SR.tcTypeAbbreviationsMayNotHaveMembers(),(trimRangeToLine m))) // ideally we'd have the 'm' of the type declaration stored here, to avoid needing to trim to line to approx
                          if tcref.IsEnumTycon && (declKind <> ExtrinsicExtensionBinding) then error(Error(FSComp.SR.tcEnumerationsMayNotHaveMembers(),(trimRangeToLine m))) // ideally we'd have the 'm' of the type declaration stored here, to avoid needing to trim to line to approx
  
negative.code:                                       | _ -> ()
                                let rbind = NormalizedRecBindingDefn(containerInfo,newslotsOK,declKind,bind)
                                let overridesOK  = DeclKind.CanOverrideOrImplement(declKind)
                                let (binds,_values),(tpenv,recBindIdx) = AnalyzeAndMakeAndPublishRecursiveValue overridesOK false cenv envForTycon (tpenv,recBindIdx) rbind
                                let cbinds = [ for rbind in binds -> PassAMember rbind ]
  
                                let innerState = (incrClassCtorLhsOpt, envForTycon, tpenv, recBindIdx, List.rev binds @ uncheckedBindsRev)
                                cbinds,innerState
                          
  #if OPEN_IN_TYPE_DECLARATIONS
  