[nem-bug] [Nemerle 0000808]: Invalid IL generated for generic cast from void

[feedback at nemerle.org]

The following issue has been RESOLVED.
======================================================================
<http://nemerle.org/bugs/view.php?id=808> 
======================================================================
Reported By:                Evin Robertson
Assigned To:                malekith
======================================================================
Project:                    Nemerle
Issue ID:                   808
Category:                   Compiler (type engine)
Reproducibility:            always
Severity:                   minor
Priority:                   normal
Status:                     resolved
Resolution:                 fixed
Fixed in Version:           
======================================================================
Date Submitted:             12-09-2006 22:40 CET
Last Modified:              12-10-2006 11:23 CET
======================================================================
Summary:                    Invalid IL generated for generic cast from void
Description: 
The following code compiles and generates invalid IL (mono reports
"Unhandled Exception: System.InvalidProgramException: Invalid IL code in
A`1:F (): IL_0005: unbox.any").  A patch is attached which makes this a
compile error.

public class A['t]
{
    public F() : 't
    {
        CastVoid.G() :> 't
    }
}

public module CastVoid
{
    public G() : void
    {
    }

    public Main() : void
    {
        def a = A() : A[int];
        _ = a.F()
    }
}

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

----------------------------------------------------------------------
 malekith - 12-10-06 11:23 
----------------------------------------------------------------------
Thanks! Patch applied on trunk, r7076.

Issue History
Date Modified  Username       Field                    Change              
======================================================================
12-09-06 22:40 Evin Robertson New Issue                                    
12-09-06 22:40 Evin Robertson File Added: castvoid.patch                    
12-10-06 11:23 malekith       Status                   new => resolved     
12-10-06 11:23 malekith       Resolution               open => fixed       
12-10-06 11:23 malekith       Assigned To               => malekith        
12-10-06 11:23 malekith       Note Added: 0001574                          
======================================================================