[nem-bug] [Nemerle 0000554]: Assertion about unsupported type for a complex generic hierarchy

[feedback at nemerle.org]

The following issue has been SUBMITTED.
======================================================================
<http://nemerle.org/bugs/view.php?id=554> 
======================================================================
Reported By:                nazgul
Assigned To:                
======================================================================
Project:                    Nemerle
Issue ID:                   554
Category:                   Compiler
Reproducibility:            always
Severity:                   minor
Priority:                   normal
Status:                     new
======================================================================
Date Submitted:             10-25-2005 18:09 CEST
Last Modified:              10-25-2005 18:09 CEST
======================================================================
Summary:                    Assertion about unsupported type for a complex
generic hierarchy
Description: 
	public static class Main
	{
		public static Execute[T](b : B1[T]) : void  where T : A1
		{
			System.Console.WriteLine(b.D.A.LastModified);
		}
	}
	public class C[T] where T : A
	{
		public A : T
		{
			get
			{
				null;
			}
		}
	}
	public class D[T] : C[T] where T : A
	{
	}

	public class B[T] where T : A
	{	
		public  D : D[T]
		{
			get
			{
				null;
			}
		}
	}

	public class B1[T] : B[T] where T : A1
	{
	}

	public class A
	{
	}
	public class A1 : A
	{	
		public  LastModified : System.DateTime
		{
			get
			{
				System.DateTime.Now;
			}
		}
	}
======================================================================

Issue History
Date Modified  Username       Field                    Change              
======================================================================
10-25-05 18:09 nazgul         New Issue                                    
======================================================================