Merge pull request #1909 from esdrubal/reflection
[mono.git] / mcs / class / corlib / Test / System.Reflection.Emit / ModuleBuilderTest.cs
index 1819e23eff8fe142d5c4fb91dfa262d948a80bb8..aa6f1ba35833bdb3b1c4bf28e54fedd5b0a83718 100644 (file)
@@ -116,6 +116,7 @@ namespace MonoTests.System.Reflection.Emit
                }
 
                [Test]
+               [Category("NotWorking")]
                public void TestGlobalMethods ()
                {
                        AssemblyBuilder builder = genAssembly ();
@@ -126,13 +127,72 @@ namespace MonoTests.System.Reflection.Emit
                                                                                                                          CharSet.Auto);
                        method.SetImplementationFlags (MethodImplAttributes.PreserveSig |
                                                                                   method.GetMethodImplementationFlags ());
+
+                       Assert.IsNull (module.GetMethod ("printf"), "#1");
+
                        module.CreateGlobalFunctions ();
 
-                       Assert.IsNotNull (module.GetMethod ("printf"));
+                       Assert.IsNotNull (module.GetMethod ("printf"), "#2");
+               }
+
+               [Test]
+               [Category ("AndroidNotWorking")] // Missing Mono.CompilerServices.SymbolWriter assembly
+               public void DefineType_Name_Null ()
+               {
+                       AssemblyBuilder ab = genAssembly ();
+                       ModuleBuilder mb = ab.DefineDynamicModule ("foo.dll", "foo.dll", true);
+                       try {
+                               mb.DefineType ((string) null);
+                               Assert.Fail ("#1");
+                       } catch (ArgumentNullException ex) {
+                               Assert.AreEqual (typeof (ArgumentNullException), ex.GetType (), "#2");
+                               Assert.IsNull (ex.InnerException, "#3");
+                               Assert.IsNotNull (ex.Message, "#4");
+                               Assert.AreEqual ("fullname", ex.ParamName, "#5");
+                       }
+               }
+
+               [Test]
+               [Category ("AndroidNotWorking")] // Missing Mono.CompilerServices.SymbolWriter assembly
+               public void DefineType_Name_Empty ()
+               {
+                       AssemblyBuilder ab = genAssembly ();
+                       ModuleBuilder mb = ab.DefineDynamicModule ("foo.dll", "foo.dll", true);
+                       try {
+                               mb.DefineType (string.Empty);
+                               Assert.Fail ("#1");
+                       } catch (ArgumentException ex) {
+                               // Empty name is not legal
+                               Assert.AreEqual (typeof (ArgumentException), ex.GetType (), "#2");
+                               Assert.IsNull (ex.InnerException, "#3");
+                               Assert.IsNotNull (ex.Message, "#4");
+                               Assert.AreEqual ("fullname", ex.ParamName, "#5");
+                       }
+               }
+
+               [Test]
+               [Category ("AndroidNotWorking")] // Missing Mono.CompilerServices.SymbolWriter assembly
+               public void DefineType_Name_NullChar ()
+               {
+                       AssemblyBuilder ab = genAssembly ();
+                       ModuleBuilder mb = ab.DefineDynamicModule ("foo.dll", "foo.dll", true);
+                       try {
+                               mb.DefineType ("\0test");
+                               Assert.Fail ("#1");
+                       } catch (ArgumentException ex) {
+                               // Illegal name
+                               Assert.AreEqual (typeof (ArgumentException), ex.GetType (), "#2");
+                               Assert.IsNull (ex.InnerException, "#3");
+                               Assert.IsNotNull (ex.Message, "#4");
+                               Assert.AreEqual ("fullname", ex.ParamName, "#5");
+                       }
+
+                       mb.DefineType ("te\0st");
                }
 
                [Test]
-               public void TestDefineType_InterfaceNotAbstract ()
+               [Category ("AndroidNotWorking")] // Missing Mono.CompilerServices.SymbolWriter assembly
+               public void DefineType_InterfaceNotAbstract ()
                {
                        AssemblyBuilder ab = genAssembly ();
                        ModuleBuilder mb = ab.DefineDynamicModule ("foo.dll", "foo.dll", true);
@@ -158,7 +218,6 @@ namespace MonoTests.System.Reflection.Emit
                        }
 
                        // fail on MS .NET 1.1
-#if NET_2_0
                        TypeBuilder tb = mb.DefineType ("ITest2", TypeAttributes.Interface,
                                typeof (object));
                        Assert.AreEqual (typeof (object), tb.BaseType, "#C1");
@@ -166,10 +225,56 @@ namespace MonoTests.System.Reflection.Emit
                        tb = mb.DefineType ("ITest3", TypeAttributes.Interface,
                                typeof (IDisposable));
                        Assert.AreEqual (typeof (IDisposable), tb.BaseType, "#D1");
-#endif
                }
 
                [Test]
+               [Category ("AndroidNotWorking")] // Missing Mono.CompilerServices.SymbolWriter assembly
+               public void DefineType_Parent_Interface ()
+               {
+                       TypeBuilder tb;
+
+                       AssemblyBuilder ab = genAssembly ();
+                       ModuleBuilder mb = ab.DefineDynamicModule ("foo.dll", "foo.dll", true);
+
+                       tb = mb.DefineType ("Foo", TypeAttributes.Class,
+                               typeof (ICollection));
+                       Assert.AreEqual (typeof (ICollection), tb.BaseType, "#1");
+
+                       tb = mb.DefineType ("Bar", TypeAttributes.Interface,
+                               typeof (ICollection));
+                       Assert.AreEqual (typeof (ICollection), tb.BaseType, "#2");
+               }
+
+               [Test]
+               [Category ("AndroidNotWorking")] // Missing Mono.CompilerServices.SymbolWriter assembly
+               public void DefineType_TypeSize ()
+               {
+                       AssemblyBuilder ab = genAssembly ();
+                       ModuleBuilder mb = ab.DefineDynamicModule ("foo.dll", "foo.dll", true);
+
+                       TypeBuilder tb = mb.DefineType ("Foo", TypeAttributes.Public | TypeAttributes.Sealed | TypeAttributes.SequentialLayout,
+                               typeof (ValueType), 1);
+                       Assert.AreEqual (1, tb.Size);
+               }
+
+               [Test]
+               [Category ("AndroidNotWorking")] // Missing Mono.CompilerServices.SymbolWriter assembly
+               [ExpectedException (typeof (ArgumentException))]
+               public void DuplicateTypeName () {
+                       AssemblyBuilder ab = genAssembly ();
+                       ModuleBuilder module = ab.DefineDynamicModule ("foo.dll", "foo.dll", true);
+
+                       var itb = module.DefineType ("TBase", TypeAttributes.Public);
+
+                       itb.SetParent (typeof(ValueType));        
+
+                       var ptb = module.DefineType ("TBase", TypeAttributes.Public);
+
+                       ptb.SetParent (typeof(Enum));
+               }
+
+               [Test]
+               [Category ("AndroidNotWorking")] // Missing Mono.CompilerServices.SymbolWriter assembly
                public void DuplicateSymbolDocument ()
                {
                        AssemblyBuilder ab = genAssembly ();
@@ -213,7 +318,6 @@ namespace MonoTests.System.Reflection.Emit
                                Assert.AreEqual (s1.GetValue (i), s2.GetValue (i), "#2: " + i);
                }
 
-#if NET_2_0
                [Test]
                public void ResolveFieldTokenFieldBuilder ()
                {
@@ -224,7 +328,23 @@ namespace MonoTests.System.Reflection.Emit
                        FieldBuilder fb = tb.DefineField ("foo", typeof (int), 0);
                        tb.CreateType ();
 
-                       FieldInfo fi = mb.ResolveField (fb.GetToken ().Token);
+                       FieldInfo fi = mb.ResolveField (0x04000001);
+                       Assert.IsNotNull (fi);
+                       Assert.AreEqual ("foo", fi.Name);
+               }
+
+               [Test]
+               public void ResolveGenericFieldBuilderOnGenericTypeBuilder ()
+               {
+                       AssemblyBuilder ab = genAssembly ();
+                       ModuleBuilder mb = ab.DefineDynamicModule ("foo.dll", "foo.dll");
+
+                       TypeBuilder tb = mb.DefineType ("Foo`1");
+                       var t = tb.DefineGenericParameters ("T") [0];
+                       FieldBuilder fb = tb.DefineField ("foo", t, 0);
+                       tb.CreateType ();
+
+                       FieldInfo fi = mb.ResolveField (0x04000001);
                        Assert.IsNotNull (fi);
                        Assert.AreEqual ("foo", fi.Name);
                }
@@ -258,16 +378,240 @@ namespace MonoTests.System.Reflection.Emit
                        Assert.IsNotNull (mi);
                        Assert.AreEqual ("Frub", mi.Name);
                }
-#endif
+
+               [Test]
+               public void GetMethodTokenCrossMethodBuilders ()
+               {
+                       AssemblyBuilder ab = genAssembly ();
+                       ModuleBuilder moduleb = ab.DefineDynamicModule ("foo.dll", "foo.dll");
+
+                       TypeBuilder tb = moduleb.DefineType ("foo");
+                       MethodBuilder mb = tb.DefineMethod("Frub", MethodAttributes.Static, null, new Type[] { typeof(IntPtr) });
+                       int tok = mb.GetToken().Token;
+                       mb.SetImplementationFlags(MethodImplAttributes.NoInlining);
+                       ILGenerator ilgen = mb.GetILGenerator();
+                       ilgen.Emit(OpCodes.Ret);
+
+                       tb.CreateType ();
+
+                       var mi = (MethodInfo) moduleb.ResolveMember (tok);
+                       Assert.IsNotNull (mi);
+
+                       ModuleBuilder moduleb2 = ab.DefineDynamicModule ("foo2.dll", "foo2.dll");
+                       var tok2 = moduleb2.GetMethodToken (mi).Token;
+
+                       MethodBase mi2 = moduleb.ResolveMethod (tok2);
+                       Assert.IsNotNull (mi2);
+                       Assert.AreEqual ("Frub", mi.Name);
+               }
+
+               [Test]
+               public void ResolveMemberField ()
+               {
+                       var assembly = genAssembly ();
+                       var module = assembly.DefineDynamicModule ("foo.dll", "foo.dll");
+
+                       var type = module.DefineType ("Foo");
+                       var method = type.DefineMethod ("Str", MethodAttributes.Static, typeof (string), Type.EmptyTypes);
+                       var il = method.GetILGenerator ();
+
+                       il.Emit (OpCodes.Ldsfld, typeof (string).GetField ("Empty"));
+                       il.Emit (OpCodes.Ret);
+
+                       type.CreateType ();
+
+                       var string_empty = (FieldInfo) module.ResolveMember (0x0a000001);
+                       Assert.IsNotNull (string_empty);
+                       Assert.AreEqual ("Empty", string_empty.Name);
+                       Assert.AreEqual (typeof (string), string_empty.DeclaringType);
+               }
+
+               [Test]
+               public void ResolveMemberMethod ()
+               {
+                       var assembly = genAssembly ();
+                       var module = assembly.DefineDynamicModule ("foo.dll", "foo.dll");
+
+                       var type = module.DefineType ("Foo");
+                       var method = type.DefineMethod ("Str", MethodAttributes.Static, typeof (void), Type.EmptyTypes);
+                       var il = method.GetILGenerator ();
+
+                       il.Emit (OpCodes.Call, typeof (Console).GetMethod ("WriteLine", Type.EmptyTypes));
+                       il.Emit (OpCodes.Ret);
+
+                       type.CreateType ();
+
+                       var writeline = (MethodInfo) module.ResolveMember (0x0a000001);
+                       Assert.IsNotNull (writeline);
+                       Assert.AreEqual ("WriteLine", writeline.Name);
+                       Assert.AreEqual (typeof (Console), writeline.DeclaringType);
+               }
+
+               [Test]
+               public void ResolveMethodDefWithGenericArguments ()
+               {
+                       var assembly = genAssembly ();
+                       var module = assembly.DefineDynamicModule ("foo.dll", "foo.dll");
+
+                       var type = module.DefineType ("Foo`1");
+                       var t = type.DefineGenericParameters ("T") [0];
+
+                       var method = type.DefineMethod ("Method", MethodAttributes.Static, typeof (void), new Type [] { t });
+                       method.GetILGenerator ().Emit (OpCodes.Ret);
+
+                       type.DefineDefaultConstructor (MethodAttributes.Public);
+
+                       type.CreateType ();
+
+                       var resolved_method = (MethodInfo) module.ResolveMember (0x06000001, new [] { typeof (string) }, Type.EmptyTypes);
+                       Assert.IsNotNull (resolved_method);
+                       Assert.AreEqual ("Method", resolved_method.Name);
+                       Assert.IsTrue (resolved_method.GetParameters () [0].ParameterType.IsGenericParameter);
+               }
+
+               [Test]
+               public void ResolveFieldDefWithGenericArguments ()
+               {
+                       var assembly = genAssembly ();
+                       var module = assembly.DefineDynamicModule ("foo.dll", "foo.dll");
+
+                       var type = module.DefineType ("Foo`1");
+                       var t = type.DefineGenericParameters ("T") [0];
+
+                       var field = type.DefineField ("field", t, FieldAttributes.Public);
+
+                       type.CreateType ();
+
+                       var resolved_field = (FieldInfo) module.ResolveMember (0x04000001, new [] { typeof (string) }, Type.EmptyTypes);
+                       Assert.IsNotNull (resolved_field);
+                       Assert.AreEqual ("field", resolved_field.Name);
+                       Assert.IsTrue (resolved_field.FieldType.IsGenericParameter);
+               }
+
+               [Test]
+               public void ResolveTypeDefWithGenericArguments ()
+               {
+                       var assembly = genAssembly ();
+                       var module = assembly.DefineDynamicModule ("foo.dll", "foo.dll");
+
+                       var type = module.DefineType ("Foo`1");
+                       var t = type.DefineGenericParameters ("T") [0];
+
+                       type.CreateType ();
+
+                       var foo = (Type) module.ResolveMember (0x02000002, new [] { typeof (string) }, Type.EmptyTypes);
+                       Assert.IsNotNull (foo);
+                       Assert.AreEqual ("Foo`1", foo.Name);
+                       Assert.IsTrue (foo.IsGenericTypeDefinition);
+               }
+
+               [Test]
+               public void ResolveFieldMemberRefWithGenericArguments ()
+               {
+                       var assembly = genAssembly ();
+                       var module = assembly.DefineDynamicModule ("foo.dll", "foo.dll");
+
+                       var type = module.DefineType ("Foo`1");
+                       var t = type.DefineGenericParameters ("T") [0];
+
+                       var field = type.DefineField ("field", t, FieldAttributes.Public);
+
+                       var method = type.DefineMethod ("Method", MethodAttributes.Public, typeof (void), Type.EmptyTypes);
+                       var il = method.GetILGenerator ();
+
+                       il.Emit (OpCodes.Ldarg_0);
+                       il.Emit (OpCodes.Ldfld, field); // this triggers the creation of a MemberRef on a generic TypeSpec
+                       il.Emit (OpCodes.Pop);
+                       il.Emit (OpCodes.Ret);
+
+                       type.CreateType ();
+
+                       var resolved_field = (FieldInfo) module.ResolveMember (0x0a000001, new [] { typeof (string) }, null);
+                       Assert.IsNotNull (resolved_field);
+                       Assert.AreEqual ("field", resolved_field.Name);
+                       Assert.AreEqual (typeof (string), resolved_field.FieldType);
+               }
+
+               [Test]
+               public void ResolveMethodMemberRefWithGenericArguments ()
+               {
+                       var assembly = genAssembly ();
+                       var module = assembly.DefineDynamicModule ("foo.dll", "foo.dll");
+
+                       var type = module.DefineType ("Foo`1");
+                       var t = type.DefineGenericParameters ("T") [0];
+
+                       var field = type.DefineField ("field", t, FieldAttributes.Public);
+
+                       var method = type.DefineMethod ("Method", MethodAttributes.Public, typeof (void), new Type [] { t });
+                       method.GetILGenerator ().Emit (OpCodes.Ret);
+
+                       var ctor = type.DefineMethod ("Caller", MethodAttributes.Public, typeof (void), Type.EmptyTypes);
+                       var il = ctor.GetILGenerator ();
+
+                       il.Emit (OpCodes.Ldarg_0);
+                       il.Emit (OpCodes.Ldarg_0);
+                       il.Emit (OpCodes.Ldfld, field); // this triggers the creation of a MemberRef on a generic TypeSpec
+                       il.Emit (OpCodes.Callvirt, method); // this too
+                       il.Emit (OpCodes.Ret);
+
+                       type.DefineDefaultConstructor (MethodAttributes.Public);
+
+                       type.CreateType ();
+
+                       var resolved_method = (MethodInfo) module.ResolveMember (0x0a000002, new [] { typeof (string) }, null);
+                       Assert.IsNotNull (resolved_method);
+                       Assert.AreEqual ("Method", resolved_method.Name);
+                       Assert.AreEqual (typeof (string), resolved_method.GetParameters () [0].ParameterType);
+               }
+
+               [Test]
+               public void ResolveMethodSpecWithGenericArguments ()
+               {
+                       var assembly = genAssembly ();
+                       var module = assembly.DefineDynamicModule ("foo.dll", "foo.dll");
+
+                       var type = module.DefineType ("Foo`1");
+                       var t = type.DefineGenericParameters ("T") [0];
+
+                       var field = type.DefineField ("field", t, FieldAttributes.Public);
+
+                       var method = type.DefineMethod ("Method", MethodAttributes.Public);
+                       var s = method.DefineGenericParameters ("S") [0];
+                       method.SetReturnType (typeof (void));
+                       method.SetParameters (t, s);
+                       method.GetILGenerator ().Emit (OpCodes.Ret);
+
+                       var ctor = type.DefineMethod ("Caller", MethodAttributes.Public, typeof (void), Type.EmptyTypes);
+                       var il = ctor.GetILGenerator ();
+
+                       il.Emit (OpCodes.Ldarg_0);
+                       il.Emit (OpCodes.Ldarg_0);
+                       il.Emit (OpCodes.Ldfld, field); // this triggers the creation of a MemberRef on a generic TypeSpec
+                       il.Emit (OpCodes.Ldarg_0);
+                       il.Emit (OpCodes.Ldfld, field); // this triggers the creation of a MemberRef on a generic TypeSpec
+                       il.Emit (OpCodes.Callvirt, method); // this triggers the creation of a MethodSpec
+                       il.Emit (OpCodes.Ret);
+
+                       type.DefineDefaultConstructor (MethodAttributes.Public);
+
+                       type.CreateType ();
+
+                       var resolved_method = (MethodInfo) module.ResolveMember (0x2b000001, new [] { typeof (string) }, new [] { typeof (int) });
+                       Assert.IsNotNull (resolved_method);
+                       Assert.AreEqual ("Method", resolved_method.Name);
+                       Assert.AreEqual (typeof (string), resolved_method.GetParameters () [0].ParameterType);
+                       Assert.AreEqual (typeof (int), resolved_method.GetParameters () [1].ParameterType);
+               }
 
                [Test]
                public void GetTypes ()
                {
                        AssemblyBuilder ab = genAssembly ();
                        ModuleBuilder mb = ab.DefineDynamicModule ("foo.dll", "foo.dll");
-                       
-            TypeBuilder tb1 = mb.DefineType("Foo", TypeAttributes.Public);
-                       
+
+                       TypeBuilder tb1 = mb.DefineType("Foo", TypeAttributes.Public);
+
                        Type[] types = mb.GetTypes ();
                        Assert.AreEqual (1, types.Length);
                        Assert.AreEqual (tb1, types [0]);
@@ -278,5 +622,137 @@ namespace MonoTests.System.Reflection.Emit
                        types = mb.GetTypes ();
                        Assert.AreEqual (tb1.CreateType (), types [0]);
                }
+
+               [Test] // GetTypeToken (Type)
+               [Category ("NotDotNet")] // http://support.microsoft.com/kb/950986
+               public void GetTypeToken2_Type_Array ()
+               {
+                       Type type;
+                       TypeToken typeToken;
+                       Type resolved_type;
+
+                       AssemblyName aname = genAssemblyName ();
+                       AssemblyBuilder ab = AppDomain.CurrentDomain.DefineDynamicAssembly (
+                               aname, AssemblyBuilderAccess.RunAndSave);
+                       ModuleBuilder mb = ab.DefineDynamicModule ("MyModule");
+
+                       type = typeof (object []);
+                       typeToken = mb.GetTypeToken (type);
+                       Assert.IsFalse (typeToken == TypeToken.Empty, "#A1");
+                       resolved_type = mb.ResolveType (typeToken.Token);
+                       Assert.AreEqual (type, resolved_type, "#A2");
+
+                       type = typeof (object).MakeArrayType ();
+                       typeToken = mb.GetTypeToken (type);
+                       Assert.IsFalse (typeToken == TypeToken.Empty, "#B1");
+                       resolved_type = mb.ResolveType (typeToken.Token);
+                       Assert.AreEqual (type, resolved_type, "#B2");
+               }
+
+               [Test] // GetTypeToken (Type)
+               public void GetTypeToken2_Type_String ()
+               {
+                       AssemblyName aname = genAssemblyName ();
+                       AssemblyBuilder ab = AppDomain.CurrentDomain.DefineDynamicAssembly (
+                               aname, AssemblyBuilderAccess.RunAndSave);
+                       ModuleBuilder mb = ab.DefineDynamicModule ("MyModule");
+                       Type type = typeof (string);
+                       TypeToken typeToken = mb.GetTypeToken (type);
+                       Assert.IsFalse (typeToken == TypeToken.Empty, "#1");
+                       Type resolved_type = mb.ResolveType (typeToken.Token);
+                       Assert.AreEqual (type, resolved_type, "#2");
+               }
+
+               [Test] // bug #471302
+               public void ModuleBuilder_ModuleVersionId ()
+               {
+                       var name = new AssemblyName () { Name = "Foo" };
+                       var assembly = AppDomain.CurrentDomain.DefineDynamicAssembly (
+                               name, AssemblyBuilderAccess.Run);
+
+                       var module = assembly.DefineDynamicModule ("Foo");
+
+                       Assert.AreNotEqual (new Guid (), module.ModuleVersionId);
+               }
+
+               [Test]
+               public void GetType_String_Null ()
+               {
+                       AssemblyName an = genAssemblyName ();
+                       AssemblyBuilder ab = AppDomain.CurrentDomain.DefineDynamicAssembly (an, AssemblyBuilderAccess.Run);
+                       ModuleBuilder module = ab.DefineDynamicModule ("GetTypeNullCheck");
+
+                       try {
+                               module.GetType (null);
+                               Assert.Fail ("Expected ArgumentNullException for GetType(string)");
+                       }
+                       catch (ArgumentNullException) {
+                       }
+                       try {
+                               module.GetType (null, true); // ignoreCase
+                               Assert.Fail ("Expected ArgumentNullException for GetType(string,bool)");
+                       }
+                       catch (ArgumentNullException) {
+                       }
+                       try {
+                               module.GetType (null, true, true); // throwOnError, ignoreCase
+                               Assert.Fail ("Expected ArgumentNullException for GetType(string,bool,bool)");
+                       }
+                       catch (ArgumentNullException) {
+                       }
+               }
+
+               [Test]
+               public void GetType_String_Empty ()
+               {
+                       AssemblyName an = genAssemblyName ();
+                       AssemblyBuilder ab = AppDomain.CurrentDomain.DefineDynamicAssembly (an, AssemblyBuilderAccess.Run);
+                       ModuleBuilder module = ab.DefineDynamicModule ("GetTypeEmptyCheck");
+
+                       try {
+                               module.GetType (String.Empty);
+                               Assert.Fail ("Expected ArgumentNullException for GetType(string)");
+                       }
+                       catch (ArgumentException) {
+                       }
+                       try {
+                               module.GetType (String.Empty, true); // ignoreCase
+                               Assert.Fail ("Expected ArgumentNullException for GetType(string,bool)");
+                       }
+                       catch (ArgumentException) {
+                       }
+                       try {
+                               module.GetType (String.Empty, true, true); // throwOnError, ignoreCase
+                               Assert.Fail ("Expected ArgumentNullException for GetType(string,bool,bool)");
+                       }
+                       catch (ArgumentException) {
+                       }
+               }
+
+               [Test]
+               public void GetMethodTokenNullParam ()
+               {
+                       AssemblyName an = genAssemblyName ();
+                       AssemblyBuilder ab = AppDomain.CurrentDomain.DefineDynamicAssembly (an, AssemblyBuilderAccess.Run);
+                       ModuleBuilder module = ab.DefineDynamicModule ("mod");
+
+                       var method = typeof (object).GetMethod ("GetType");
+
+                       // ArgumentNullException should not occur.
+                       module.GetMethodToken (method, null);
+               }
+
+               [Test]
+               public void GetConstructorTokenNullParam ()
+               {
+                       AssemblyName an = genAssemblyName ();
+                       AssemblyBuilder ab = AppDomain.CurrentDomain.DefineDynamicAssembly (an, AssemblyBuilderAccess.Run);
+                       ModuleBuilder module = ab.DefineDynamicModule ("mod");
+
+                       var method = typeof (object).GetConstructor (Type.EmptyTypes);
+
+                       // ArgumentNullException should not occur.
+                       module.GetConstructorToken (method, null);
+               }
        }
 }