[nem-bug] [Nemerle 0000676]: Type alias expands to wrong generic type when used to construct new instance

[feedback at nemerle.org]

The following issue has been RESOLVED.
======================================================================
<http://nemerle.org/bugs/view.php?id=676> 
======================================================================
Reported By:                nazgul
Assigned To:                malekith
======================================================================
Project:                    Nemerle
Issue ID:                   676
Category:                   Compiler
Reproducibility:            always
Severity:                   minor
Priority:                   normal
Status:                     resolved
Resolution:                 fixed
Fixed in Version:           
======================================================================
Date Submitted:             05-14-2006 19:57 CEST
Last Modified:              12-04-2006 13:22 CET
======================================================================
Summary:                    Type alias expands to wrong generic type when used
to construct new instance
Description: 
interface A { }
class B[T] where T : A, new() { }
struct C : A {}

type D = B.[C];

module Test {
  public Main() : void {
    _ = B.[C](); // ok
    _ = D(); // does not compile
  }
} 
======================================================================

----------------------------------------------------------------------
 malekith - 12-04-06 13:22 
----------------------------------------------------------------------
Resolved on trunk, r7042.

Issue History
Date Modified  Username       Field                    Change              
======================================================================
05-14-06 19:57 nazgul         New Issue                                    
12-04-06 13:22 malekith       Status                   new => resolved     
12-04-06 13:22 malekith       Resolution               open => fixed       
12-04-06 13:22 malekith       Assigned To               => malekith        
12-04-06 13:22 malekith       Note Added: 0001553                          
======================================================================