[nem-bug] [Nemerle 0000591]: Typer ICE for type check involving generic type

[feedback at nemerle.org]

The following issue has been ASSIGNED.
======================================================================
<http://nemerle.org/bugs/view.php?id=591> 
======================================================================
Reported By:                nazgul
Assigned To:                malekith
======================================================================
Project:                    Nemerle
Issue ID:                   591
Category:                   Compiler
Reproducibility:            always
Severity:                   minor
Priority:                   normal
Status:                     assigned
======================================================================
Date Submitted:             12-22-2005 22:13 CET
Last Modified:              05-07-2006 10:52 CEST
======================================================================
Summary:                    Typer ICE for type check involving generic type
Description: 
using System;

public interface IFoo[T]
{ }

public class Foo[T]
{
        public static Test (mutable  x : T) :  bool
        {
                 x is IFoo[T];
        }
}

class X
{
        }

======================================================================

----------------------------------------------------------------------
 malekith - 05-05-06 13:59 
----------------------------------------------------------------------
Resolved in r6229.

----------------------------------------------------------------------
 nazgul - 05-07-06 10:52 
----------------------------------------------------------------------
It breaks on verification:
[IL]: Error: [C:\cygwin\home\nazgul\nemerle\ncc\testsuite\ismatches.exe :
Foo`1[T]::Test][offset 0x00000001][found (unboxed) 'T'] Expected an ObjRef
on the stack.
1 Error Verifying ismatches.exe


Issue History
Date Modified  Username       Field                    Change              
======================================================================
12-22-05 22:13 nazgul         New Issue                                    
05-05-06 13:27 malekith       Status                   new => assigned     
05-05-06 13:27 malekith       Assigned To               => malekith        
05-05-06 13:59 malekith       Status                   assigned => resolved
05-05-06 13:59 malekith       Resolution               open => fixed       
05-05-06 13:59 malekith       Note Added: 0001235                          
05-05-06 13:59 malekith       Description Updated                          
05-07-06 10:52 nazgul         Note Added: 0001242                          
05-07-06 10:52 nazgul         Status                   resolved => assigned
05-07-06 10:52 nazgul         Description Updated                          
======================================================================