anchor.diff:                  (fun envAbove decls -> 
                       let tycons =  decls |> List.choose (function MutRecShape.Tycon (_, tyconOpt, _) -> tyconOpt | _ -> None)
                       let mspecs = decls |> List.choose (function MutRecShape.Module ((MutRecDefnsPass2DataForModule (_, mspec),_),_) -> Some mspec | _ -> None)
  -                    let envInner = AddLocalTyconsAndReport cenv.tcSink cenv.g cenv.amap scopem tycons envAbove
  -                    let envInner = (envInner, mspecs) ||> List.fold (AddLocalSubModule cenv.tcSink cenv.g cenv.amap m scopem)
  -                    envInner)
  +                    let envForDecls = AddLocalTyconsAndReport cenv.tcSink cenv.g cenv.amap scopem tycons envAbove
  +                    let envForDecls = (envForDecls, mspecs) ||> List.fold (AddLocalSubModule cenv.tcSink cenv.g cenv.amap m scopem)
  +                    envForDecls)
   
           (tycons, envMutRec, withNewEnvs)
   
  
positive.code:                               match tcref.TypeOrMeasureKind with TyparKind.Measure -> error(Error(FSComp.SR.tcMeasureDeclarationsRequireStaticMembers(), m)) | _ -> ()
  
                                // PassA: make incrClassCtorLhs - ctorv, thisVal etc, type depends on argty(s) 
                                let incrClassCtorLhs = TcImplictCtorLhsPassA(cenv,env,tpenv,tcref,vis,attrs,spats,thisIdOpt,baseValOpt,safeInitInfo,m,copyOfTyconTypars,objTy,thisTy)
                                // PassA: Add copyOfTyconTypars from incrClassCtorLhs - or from tcref 
                                let env = AddDeclaredTypars CheckForDuplicateTypars incrClassCtorLhs.InstanceCtorDeclaredTypars env
                                let innerState = (Some incrClassCtorLhs, env, tpenv, recBindIdx, uncheckedBindsRev)
  
                                [PassAIncrClassCtor incrClassCtorLhs],innerState
                                
  
negative.code:     let MakeCtorForIncrClassConstructionPassC 
                 (cenv,
                  env: TcEnv,
                  /// The lhs information about the implicit constructor
                  ctorInfo:IncrClassCtorLhs,
                  /// The call to the super class constructor
  