anchor.diff:      // --- Extract field bindings from let-bindings 
       // --- Extract method bindings from let-bindings 
       // --- Extract bindings for implicit constructors
  -    let TcMutRecBindings_ExtractImplicitFieldAndMethodBindings cenv envInitial tpenv (denv, generalizedTyparsForRecursiveBlock, defnsCs: MutRecBindingsPassC) =
  +    let TcMutRecBindings_ExtractImplicitFieldAndMethodBindings cenv envMutRec tpenv (denv, generalizedTyparsForRecursiveBlock, defnsCs: MutRecBindingsPassC) =
   
         //  let (fixupValueExprBinds, methodBinds) = 
  -            defnsCs |> MutRecShapes.mapTycons (fun (TyconBindingsPassC(tyconOpt, tcref,defnCs)) -> 
  +            (envMutRec, defnsCs) ||> MutRecShapes.mapTyconsWithEnv (fun envForDecls (TyconBindingsPassC(tyconOpt, tcref,defnCs)) -> 
                   match defnCs with 
   
                    
  
positive.code: 
      let private TcTyconSignatureMemberSpecs cenv parent envMutRec mutRecDefns =
          // TODO - this is only checking the tycons in the signatures, need to do the module and let elements to
          (envMutRec,mutRecDefns) ||> MutRecShapes.mapTyconsWithEnv (fun env ((tyconCore, (synTyconInfo,members)), _, _) -> 
              let tpenv = emptyUnscopedTyparEnv
              let (MutRecDefnsPass1DataForTycon (_, _, _, _, _, isAtOriginalTyconDefn)) = tyconCore
              let (ComponentInfo(_,typars,cs,longPath, _, _, _,m)) = synTyconInfo
              let declKind,tcref,declaredTyconTypars = ComputeTyconDeclKind isAtOriginalTyconDefn cenv env true m typars cs longPath
  
              let envinner = AddDeclaredTypars CheckForDuplicateTypars declaredTyconTypars env
              let envinner = MakeInnerEnvForTyconRef cenv envinner tcref (declKind = ExtrinsicExtensionBinding) 
  
              TcTyconMemberSpecs cenv envinner (TyconContainerInfo(parent, tcref, declaredTyconTypars, NoSafeInitInfo)) declKind tpenv members)
  
      let TcTyconSignatures cenv env parent tpenv (tspecs:MutRecSignatureInitialData,m,scopem) =
          let mutRecDefnsAfterSplit = SplitMutRecSignatures tspecs
  
negative.code: 
      /// The collected syntactic input definitions for a single type or type-extension definition
      type TyconBindingsPassA = 
        | TyconBindingsPassA of Tycon option * DeclKind * Val list * TyconRef * Typar list * TType * TyconBindingPassA list
  
      type MutRecBindingPassA = MutRecShape<TyconBindingsPassA, PreCheckingRecursiveBinding list, MutRecDefnsPass2DataForModule * TcEnv> 
  
  