anchor.diff:              let envForTycon = AddDeclaredTypars CheckForDuplicateTypars declaredTyconTypars envForDecls
               let envForTycon = MakeInnerEnvForTyconRef cenv envForTycon tcref (declKind = ExtrinsicExtensionBinding) 
   
  -            TcTyconMemberSpecs cenv envForTycon (TyconContainerInfo(parent, tcref, declaredTyconTypars, NoSafeInitInfo)) declKind tpenv members)
  -
  -    let TcTyconSignatures cenv env parent tpenv (tspecs:MutRecSignatureInitialData,m,scopem) =
  +            TcTyconMemberSpecs cenv envForTycon (TyconContainerInfo(innerParent, tcref, declaredTyconTypars, NoSafeInitInfo)) declKind tpenv members)
  +
  +    let TcMutRecSignatureDecls cenv env parent tpenv (tspecs:MutRecSignatureInitialData,m,scopem) =
           let mutRecDefnsAfterSplit = SplitMutRecSignatures tspecs
           let _tycons, envMutRec, mutRecDefnsAfterCore = EstablishTypeDefinitionCores.TcMutRecDefns_Phase1 cenv env parent true tpenv (mutRecDefnsAfterSplit,m,scopem)
  -        let _ = TcTyconSignatureMemberSpecs cenv parent envMutRec mutRecDefnsAfterCore
  +        let _ = TcTyconSignatureMemberSpecs cenv envMutRec mutRecDefnsAfterCore
           envMutRec
   end
   
  
positive.code: 
      // Phase2A: create member prelimRecValues for "recursive" items, i.e. ctor val and member vals 
      // Phase2A: also processes their arg patterns - collecting type assertions 
      let TcMutRecBindings_Phase2A_CreateRecursiveValuesAndCheckArgumentPatterns cenv scopem tpenv (envMutRec, mutRecDecls : MutRecDefnsPhase2Info) =
  
          // The basic iteration over the declarations in a single type definition
          // State:
  
negative.code:                     // The rest should have been removed by splitting, they belong to "core" (they are "shape" of type, not implementation) 
                      | _ -> error(Error(FSComp.SR.tcDeclarationElementNotPermittedInAugmentation(),mem.Range))))
  
        let tyconBindingsOfTypeDefn (MutRecDefnsPhase2DataForTycon(_, parent, declKind, tcref, baseValOpt, safeInitInfo, declaredTyconTypars, members, _, newslotsOK)) = 
            let containerInfo = ContainerInfo(parent,Some(MemberOrValContainerInfo(tcref, None, baseValOpt, safeInitInfo, declaredTyconTypars)))
            members 
            |> List.choose (fun memb ->
  