constrained_and_tail.il

.assembly hello {}

.class public auto ansi serializable beforefieldinit Library1.JumpBImpl`1<class (class [mscorlib]System.IEquatable`1<!a>) a>
	extends [mscorlib]System.Object
{
	.method public specialname rtspecialname 
		instance void .ctor () cil managed 
	{
		.maxstack 8

		ldarg.0
		callvirt instance void [mscorlib]System.Object::.ctor()
		ldarg.0
		pop
		nop
		ret
	}
	
	.method public hidebysig 
		instance bool JumpB (
			!a x,
			!a y
		) cil managed 
	{
		.maxstack 4
		.locals init (
			[0] !a
		)

		ldarg.1
		stloc.0
		ldloca.s 0
		ldarg.2
		constrained. !a
		tail. // !!!ADDED TAIL HERE!!!
		callvirt instance bool class [mscorlib]System.IEquatable`1<!a>::Equals(!0)
		ret
	}
}

.class public auto ansi serializable Library1.JumpAImpl
	extends [mscorlib]System.Object
	implements class [mscorlib]System.IEquatable`1<class Library1.JumpAImpl>
{
	.field assembly class Library1.JumpAImpl parent

	.method public specialname rtspecialname 
		instance void .ctor (
			class Library1.JumpAImpl parent
		) cil managed 
	{
		.maxstack 8

		ldarg.0
		callvirt instance void [mscorlib]System.Object::.ctor()
		ldarg.0
		pop
		nop
		ldarg.0
		ldarg.1
		stfld class Library1.JumpAImpl Library1.JumpAImpl::parent
		ret
	}

	.method public hidebysig specialname 
		instance class Library1.JumpAImpl get_Next () cil managed 
	{
		// Method begins at RVA 0x2090
		// Code size 8 (0x8)
		.maxstack 8

		nop
		ldarg.0
		ldfld class Library1.JumpAImpl Library1.JumpAImpl::parent
		ret
	}

	.method private hidebysig newslot virtual 
		instance bool 'System-IEquatable`1-Equals' (
			class Library1.JumpAImpl other
		) cil managed 
	{
		.override method instance bool class [mscorlib]System.IEquatable`1<class Library1.JumpAImpl>::Equals(!0)

		.maxstack 4
		.locals init (
			[0] class Library1.JumpBImpl`1<class Library1.JumpAImpl> e,
			[1] class Library1.JumpAImpl,
			[2] class Library1.JumpAImpl,
			[3] class Library1.JumpAImpl
		)

		nop
		newobj instance void class Library1.JumpBImpl`1<class Library1.JumpAImpl>::.ctor()
		stloc.0
		
		ldc.i4.s 46
		call void [mscorlib]System.Console::Write(char)		
		
		ldarg.0
		ldfld class Library1.JumpAImpl Library1.JumpAImpl::parent
		stloc.1
		ldarg.1
		ldfld class Library1.JumpAImpl Library1.JumpAImpl::parent
		stloc.2
		ldloc.1
		stloc.3
		ldloca.s 3
		ldloc.2
		constrained. Library1.JumpAImpl
		tail. // !!!ADDED TAIL HERE!!!
		callvirt instance bool class [mscorlib]System.IEquatable`1<class Library1.JumpAImpl>::Equals(!0)
		ret
	}

	.property instance class Library1.JumpAImpl Next()
	{
		.get instance class Library1.JumpAImpl Library1.JumpAImpl::get_Next()
	}

}