[Mono-bugs] [Bug 610625] New: Incorrect Incompatible type 'U ([boxed] Complex)' on stack cannot be stored to local 1

[bugzilla_noreply at novell.com]

http://bugzilla.novell.com/show_bug.cgi?id=610625

http://bugzilla.novell.com/show_bug.cgi?id=610625#c0


           Summary: Incorrect Incompatible type 'U ([boxed] Complex)' on
                    stack cannot be stored to local 1
    Classification: Mono
           Product: Mono: Runtime
           Version: unspecified
          Platform: Other
        OS/Version: Other
            Status: NEW
          Severity: Major
          Priority: P5 - None
         Component: verifier
        AssignedTo: rkumpera at novell.com
        ReportedBy: msafar at novell.com
         QAContact: mono-bugs at lists.ximian.com
          Found By: ---
           Blocker: ---


namespace test2
{
    public class Test<T, U, V>
        where T : U, new ()
        where U : V, new ()
        where V : IDisposable, new ()
    {

        public void Method ()
        {
            IDisposable t = new T ();
            IDisposable u = new U ();
            IDisposable v = new V ();
        }
    }

    class MainClass : IDisposable
    {
        public void Dispose ()
        {
        }

        static void Main ()
        {
            new Test<MainClass, MainClass, MainClass> ().Method ();
        }
    }
}

Mono

pedump --verify all 0.exe
In method: test2.Test`3::Method()
Not Verifiable: Incompatible type 'U ([boxed] Complex)' on stack cannot be
stored to local 1 with type 'System.IDisposable' at 0x0053
Not Verifiable: Incompatible type 'T ([boxed] Complex)' on stack cannot be
stored to local 0 with type 'System.IDisposable' at 0x0028

NET

no error

-- 
Configure bugmail: http://bugzilla.novell.com/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the QA contact for the bug.