---- Reported by vargaz@gmail.com 2007-05-16 15:48:43 MST ----

Testcase:
======================================================================
using System;

public class Tests {

	public virtual ServiceType GetService<ServiceType>(params object[] args) 
		where ServiceType : class {
		return null;
	}

	public static int Main () {
		return 0;
	}
}
=======================================================================

csc generates an initobj !!ServiceType, while gmcs generates an ldnull, and
PEVerify flags this as invalid IL.



---- Additional Comments From rharinath@novell.com 2007-05-18 06:07:54 MST ----

Hmm.  That's strange.  The 'ldnull' verifiability rule says:

The ldnull instruction is always verifiable, and produces a value that
verification considers compatible with any other reference type.

Does that mean that verification doesn't take constraints into account?


Unknown operating system unknown. Setting to default OS "Other".