anchor.diff:                     (mkILMethods (topTypeDefs |> List.collect (fun td -> td.Methods.AsList)), 
                       mkILFields (topTypeDefs |> List.collect (fun td -> td.Fields.AsList)))
   
  -            let ilxMainModule = 
  -                { ilxMainModule with 
  -                    Manifest = (let m = ilxMainModule.ManifestOfAssembly in Some {m with CustomAttrsStored = storeILCustomAttrs (mkILCustomAttrs (m.CustomAttrs.AsList @ savedManifestAttrs)) })
  -                    CustomAttrsStored = storeILCustomAttrs (mkILCustomAttrs [ for m in moduls do yield! m.CustomAttrs.AsArray ])
  -                    TypeDefs = mkILTypeDefs (topTypeDef :: List.concat normalTypeDefs)
  -                    Resources = mkILResources (savedResources @ ilxMainModule.Resources.AsList)
  -                    NativeResources = savedNativeResources }
  +            let ilxMainModule =
  +                let main =
  +                    { ilxMainModule with
  +                        Manifest = (let m = ilxMainModule.ManifestOfAssembly in Some {m with CustomAttrsStored = storeILCustomAttrs (mkILCustomAttrs (m.CustomAttrs.AsList @ savedManifestAttrs)) })
  +                        CustomAttrsStored = storeILCustomAttrs (mkILCustomAttrs [ for m in moduls do yield! m.CustomAttrs.AsArray ])
  +                        TypeDefs = mkILTypeDefs (topTypeDef :: List.concat normalTypeDefs)
  +                        Resources = mkILResources (savedResources @ ilxMainModule.Resources.AsList)
  +                        NativeResources = savedNativeResources }
  +                Morphs.morphILTypeRefsInILModuleMemoized ilGlobals typeForwarding.TypeForwardILTypeRef main
   
               ilxMainModule, rewriteExternalRefsToLocalRefs
   
  
positive.code: //----------------------------------------------------------------------------
  
  /// Optional static linking of all DLLs that depend on the F# Library, plus other specified DLLs
  module StaticLinker = 
      let debugStaticLinking = condition "FSHARP_DEBUG_STATIC_LINKING"
  
      let StaticLinkILModules (tcConfig, ilGlobals, ilxMainModule, dependentILModules: (CcuThunk option * ILModuleDef) list) = 
          if isNil dependentILModules then 
              ilxMainModule, (fun x -> x) 
          else
  
              // Check no dependent assemblies use quotations   
              let dependentCcuUsingQuotations = dependentILModules |> List.tryPick (function (Some ccu, _) when ccu.UsesFSharp20PlusQuotations -> Some ccu | _ -> None)   
  
negative.code: 
                // Glue all this stuff into ilxMainModule 
                let ilxMainModule, rewriteExternalRefsToLocalRefs = 
                    StaticLinkILModules (tcConfig, ilGlobals, tcImports, ilxMainModule, dependentILModules @ providerGeneratedILModules)
  
                // Rewrite type and assembly references
                let ilxMainModule =
                    let isMscorlib = ilGlobals.primaryAssemblyName = PrimaryAssembly.Mscorlib.Name
  