anchor.diff:              // The envForTycon is the environment used for name resolution within the let and member bindings
               // of the type definition. This becomes 'envStatic' and 'envInstance' for the two 
                
  -            let initialOuterState = (tpenv,([]: PostGeneralizationRecursiveBinding list),([]: PreGeneralizationRecursiveBinding list),uncheckedRecBindsTable,envMutRec)
  +            let initialOuterState = (tpenv,([]: PostGeneralizationRecursiveBinding list),([]: PreGeneralizationRecursiveBinding list),uncheckedRecBindsTable,envInitial)
   
               (initialOuterState,envMutRec,defnsAs) |||> MutRecShapes.mapFoldWithEnv (fun outerState envForDecls defnsA -> 
   
  
positive.code:         // Now do the representations. Each baseValOpt is a residue from the representation which is potentially available when
          // checking the members.
          let withBaseValsAndSafeInitInfos = 
              (envMutRec,withAttrs) ||> MutRecShapes.mapTyconsWithEnv (fun envinner (origInfo,tyconAndAttrsOpt) -> 
                  let info = 
                      match origInfo, tyconAndAttrsOpt with 
                      | (tyconDefnCore,_), Some (tycon,attrs) -> TcTyconDefnCore_Phase6_EstablishRepresentation cenv envinner tpenv inSig tyconDefnCore tycon attrs
                      | _ -> None, NoSafeInitInfo 
                  (origInfo, Option.map fst tyconAndAttrsOpt, info))
                  
  
negative.code:                | (tyconDefCore,_), Some tycon -> 
                  let (MutRecDefnsPass1DataForTycon(synTyconInfo,_,_,_,_,_)) = tyconDefCore
                  let (ComponentInfo(_,_, synTyconConstraints,_,_,_, _,_)) = synTyconInfo
                  let envForTycon = AddDeclaredTypars CheckForDuplicateTypars (tycon.Typars(m)) envForDecls
                  let thisTyconRef = mkLocalTyconRef tycon
                  let envForTycon = MakeInnerEnvForTyconRef cenv envForTycon thisTyconRef false 
                  try TcTyparConstraints cenv NoNewTypars checkCxs ItemOccurence.UseInType envForTycon tpenv  synTyconConstraints |> ignore
                  with e -> errorRecovery e m
                 | _ -> ())
  
  