[nem-bug] [Nemerle 0000995]: Error in constraint with "struct" keyword and interface

[feedback at nemerle.org]

The following issue has been RESOLVED.
======================================================================
<http://nemerle.org/bugs/view.php?id=995> 
======================================================================
Reported By:                Klapaucius
Assigned To:                malekith
======================================================================
Project:                    Nemerle
Issue ID:                   995
Category:                   Compiler
Reproducibility:            always
Severity:                   minor
Priority:                   normal
Status:                     resolved
Resolution:                 fixed
Fixed in Version:           
======================================================================
Date Submitted:             04-28-2007 09:47 CEST
Last Modified:              04-30-2007 11:58 CEST
======================================================================
Summary:                    Error in constraint with "struct" keyword and
interface
Description: 
public interface IFoo[T]{}

public class Bar[T1, T2]
    where T2 : struct, IFoo[T1] //error:
   // the type `T2.896' must be a value type 
   // in order to use it as type parameter `T2' in Bar[T1.895, T2.896]	
{}

It is a correct constraint in C#.
======================================================================

----------------------------------------------------------------------
 malekith - 04-30-07 11:58 
----------------------------------------------------------------------
Resolved on trunk, r7630.

Issue History
Date Modified  Username       Field                    Change              
======================================================================
04-28-07 09:47 Klapaucius     New Issue                                    
04-30-07 11:58 malekith       Status                   new => resolved     
04-30-07 11:58 malekith       Resolution               open => fixed       
04-30-07 11:58 malekith       Assigned To               => malekith        
04-30-07 11:58 malekith       Note Added: 0001862                          
======================================================================