anchor.diff:          if not (String.isUpper id.idText) then errorR(NotUpperCaseConstructor(m))
           let vis,cpath = ComputeAccessAndCompPath env None m vis parent
           let vis = TcRecdUnionAndEnumDeclarations.CombineReprAccess parent vis
  -        CheckForDuplicateConcreteType cenv env (id.idText + "Exception") id.idRange
  -        CheckForDuplicateConcreteType cenv env id.idText id.idRange
  +        CheckForDuplicateConcreteType env (id.idText + "Exception") id.idRange
  +        CheckForDuplicateConcreteType env id.idText id.idRange
           NewExn cpath id vis (TExnFresh (MakeRecdFieldsTable [])) attrs (doc.ToXmlDoc())
   
       let TcExnDefnCore_Phase1G_EstablishRepresentation cenv env parent (exnc: Entity) (SynExceptionDefnRepr(_,UnionCase(_,_,args,_,_,_),reprIdOpt,_,_,m)) =
  
positive.code:                           | SynMemberDefn.ImplicitCtor (vis,attrs,spats,thisIdOpt, m), ContainerInfo(_,Some(MemberOrValContainerInfo(tcref, _, baseValOpt, safeInitInfo, _))) ->
                                match tcref.TypeOrMeasureKind with TyparKind.Measure -> error(Error(FSComp.SR.tcMeasureDeclarationsRequireStaticMembers(), m)) | _ -> ()
  
                                // _Phase2A: make incrClassCtorLhs - ctorv, thisVal etc, type depends on argty(s) 
                                let incrClassCtorLhs = TcImplictCtorLhs_Phase2A(cenv,envForTycon,tpenv,tcref,vis,attrs,spats,thisIdOpt,baseValOpt,safeInitInfo,m,copyOfTyconTypars,objTy,thisTy)
                                // _Phase2A: Add copyOfTyconTypars from incrClassCtorLhs - or from tcref 
                                let envForTycon = AddDeclaredTypars CheckForDuplicateTypars incrClassCtorLhs.InstanceCtorDeclaredTypars envForTycon
                                let innerState = (Some incrClassCtorLhs, envForTycon, tpenv, recBindIdx, uncheckedBindsRev)
  
  
negative.code: // Build augmentation declarations
  //------------------------------------------------------------------------- 
  
  module AddAugmentationDeclarations = 
      let tcaugHasNominalInterface g (tcaug: TyconAugmentation) tcref =
          tcaug.tcaug_interfaces |> List.exists (fun (x,_,_) -> 
              isAppTy g x && tyconRefEq g (tcrefOfAppTy g x) tcref)
  
  