anchor.diff:                                    | PassCIncrClassCtorJustAfterLastLet -> yield PassCCtorJustAfterLastLet
                                     | _ -> () ]
                           let memberBinds = memberBindsWithFixups |> List.map (fun x -> x.Binding) 
  -                        MakeCtorForIncrClassConstructionPassC(cenv,envForTycon,tpenv,incrClassCtorLhs,inheritsExpr,inheritsIsVisible,localDecs,memberBinds,generalizedTyparsForRecursiveBlock,safeStaticInitInfo)
  +                        MakeCtorForIncrClassConstructionPassC(cenv,envForTycon,incrClassCtorLhs,inheritsExpr,inheritsIsVisible,localDecs,memberBinds,generalizedTyparsForRecursiveBlock,safeStaticInitInfo)
   
                       // Generate the (value,expr) pairs for the implicit 
                       // object constructor and implicit static initializer 
  
positive.code:                 (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)
  
          (tycons, envMutRec, withNewEnvs)
  
  
negative.code:                                   errorR(Error(FSComp.SR.tcStaticLetBindingsRequireClassesWithImplicitConstructors(),m))
                                
                                // PassA: let-bindings - pass through 
                                let innerState = (incrClassCtorLhsOpt,envForTycon,tpenv,recBindIdx,uncheckedBindsRev)     
                                [PassAIncrClassBindings (tcref,letBinds,isStatic,isRec,m)], innerState
                                
                            | SynMemberDefn.Member (bind,m),_ ->
                                // PassA: member binding - create prelim valspec (for recursive reference) and RecursiveBindingInfo 
                                let (NormalizedBinding(_,_,_,_,_,_,_,valSynData,_,_,_,_)) as bind = BindingNormalization.NormalizeBinding ValOrMemberBinding cenv envForTycon bind
                                let (SynValData(memberFlagsOpt,_,_)) = valSynData 
                                match tcref.TypeOrMeasureKind with
                                | TyparKind.Type -> ()
  