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

[feedback at nemerle.org]

The following issue has been RESOLVED.
======================================================================
<http://nemerle.org/bugs/view.php?id=554> 
======================================================================
Reported By:                nazgul
Assigned To:                nazgul
======================================================================
Project:                    Nemerle
Issue ID:                   554
Category:                   Compiler
Reproducibility:            always
Severity:                   minor
Priority:                   normal
Status:                     resolved
Resolution:                 fixed
Fixed in Version:           
======================================================================
Date Submitted:             10-25-2005 18:09 CEST
Last Modified:              10-25-2005 19:44 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;
			}
		}
	}
======================================================================

----------------------------------------------------------------------
 nazgul - 10-25-05 19:44 
----------------------------------------------------------------------
Fixed on trunk (r5846).
Apparently it wasn't so hard for ncc. ;-)

Issue History
Date Modified  Username       Field                    Change              
======================================================================
10-25-05 18:09 nazgul         New Issue                                    
10-25-05 19:44 nazgul         Status                   new => resolved     
10-25-05 19:44 nazgul         Resolution               open => fixed       
10-25-05 19:44 nazgul         Assigned To               => nazgul          
10-25-05 19:44 nazgul         Note Added: 0001006                          
======================================================================