[Mono-bugs] [Bug 457087] New: Complexe generics / lambda scenario causes compiler to fail

[bugzilla_noreply at novell.com]

https://bugzilla.novell.com/show_bug.cgi?id=457087


           Summary: Complexe generics / lambda scenario causes compiler to
                    fail
           Product: Mono: Compilers
           Version: 2.2.x
          Platform: 64bit
        OS/Version: Linux
            Status: NEW
          Severity: Major
          Priority: P5 - None
         Component: C#
        AssignedTo: mono-bugs at lists.ximian.com
        ReportedBy: mono at e-tobi.net
         QAContact: mono-bugs at lists.ximian.com
          Found By: ---


Created an attachment (id=258467)
 --> (https://bugzilla.novell.com/attachment.cgi?id=258467)
Sample Code

When trying to compile this piece of code (tested with the 2.2 branch and
trunk):

using System;

namespace Test
{
    public class Foo<T>
    {
        public Bar<T, U> GetBar<U>()
        {
            return null;
        }
    }

    public class Bar<T, U>
    {
        public void DoSomething<V>() where V : U
        {
        }
    }

    public class Baz
    {
        public void GetInTroubleHere()
        {
            Action<Foo<String>> action = foo =>
            {
                foo.GetBar<String>().DoSomething<String>();
            };
        }
    }
}

..the compiler fails with:

Exception caught by the compiler while compiling:
   Block that caused the problem begin at: test.cs(24,42):
                     Block being compiled: [test.cs(25,13):,test.cs(27,13):]
System.IndexOutOfRangeException: Array index is out of range.
Exception caught by the compiler while compiling:
   Block that caused the problem begin at: test.cs(22,21):
                     Block being compiled: [test.cs(23,9):,test.cs(28,9):]
Mono.CSharp.InternalErrorException: test.cs(24,42):
Internal compiler error at test.cs(22,21):: exception caught while emitting
MethodBuilder [Baz::GetInTroubleHere]

Unhandled Exception: Mono.CSharp.InternalErrorException: test.cs(24,42): --->
System.IndexOutOfRangeException: Array index is out of range.
  at Mono.CSharp.ConstraintChecker.CheckConstraint (IResolveContext ec,
System.Type ptype, Mono.CSharp.Expression expr, System.Type ctype) [0x00000] 
  at Mono.CSharp.ConstraintChecker.CheckConstraints (IResolveContext ec, Int32
index) [0x00000] 
  at Mono.CSharp.ConstraintChecker.CheckConstraints (IResolveContext ec)
[0x00000] 
  at Mono.CSharp.ConstraintChecker.CheckConstraints (Mono.CSharp.EmitContext
ec, System.Reflection.MethodBase definition, System.Reflection.MethodBase
instantiated, Location loc) [0x00000] 
  at Mono.CSharp.MethodGroupExpr.OverloadResolve (Mono.CSharp.EmitContext ec,
System.Collections.ArrayList& Arguments, Boolean may_fail, Location loc)
[0x00000] 
  at Mono.CSharp.Invocation.DoResolveOverload (Mono.CSharp.EmitContext ec)
[0x00000] 
  at Mono.CSharp.Invocation.DoResolve (Mono.CSharp.EmitContext ec) [0x00000] 
  at Mono.CSharp.Expression.Resolve (Mono.CSharp.EmitContext ec, ResolveFlags
flags) [0x00000] 
  at Mono.CSharp.Expression.Resolve (Mono.CSharp.EmitContext ec) [0x00000] 
  at Mono.CSharp.ExpressionStatement.ResolveStatement (Mono.CSharp.EmitContext
ec) [0x00000] 
  at Mono.CSharp.StatementExpression.Resolve (Mono.CSharp.EmitContext ec)
[0x00000] 
  at Mono.CSharp.Block.Resolve (Mono.CSharp.EmitContext ec) [0x00000] 
  at Mono.CSharp.ExplicitBlock.Resolve (Mono.CSharp.EmitContext ec) [0x00000] 
  at Mono.CSharp.EmitContext.ResolveTopBlock (Mono.CSharp.EmitContext
anonymous_method_host, Mono.CSharp.ToplevelBlock block, Mono.CSharp.Parameters
ip, IMethodData md, System.Boolean& unreachable) [0x00000] 
  --- End of inner exception stack trace ---
  at Mono.CSharp.AnonymousMethodExpression.Compatible (Mono.CSharp.EmitContext
ec, System.Type type) [0x00000] 
  at Mono.CSharp.Convert.ImplicitConversionStandard (Mono.CSharp.EmitContext
ec, Mono.CSharp.Expression expr, System.Type target_type, Location loc, Boolean
explicit_cast) [0x00000] 
  at Mono.CSharp.Convert.ImplicitConversionStandard (Mono.CSharp.EmitContext
ec, Mono.CSharp.Expression expr, System.Type target_type, Location loc)
[0x00000] 
  at Mono.CSharp.Convert.ImplicitConversion (Mono.CSharp.EmitContext ec,
Mono.CSharp.Expression expr, System.Type target_type, Location loc) [0x00000] 
  at Mono.CSharp.Convert.ImplicitConversionRequired (Mono.CSharp.EmitContext
ec, Mono.CSharp.Expression source, System.Type target_type, Location loc)
[0x00000] 
  at Mono.CSharp.Assign.ResolveConversions (Mono.CSharp.EmitContext ec)
[0x00000] 
  at Mono.CSharp.Assign.DoResolve (Mono.CSharp.EmitContext ec) [0x00000] 
  at Mono.CSharp.SimpleAssign.DoResolve (Mono.CSharp.EmitContext ec) [0x00000] 
  at Mono.CSharp.Expression.Resolve (Mono.CSharp.EmitContext ec, ResolveFlags
flags) [0x00000] 
  at Mono.CSharp.Expression.Resolve (Mono.CSharp.EmitContext ec) [0x00000] 
  at Mono.CSharp.ExpressionStatement.ResolveStatement (Mono.CSharp.EmitContext
ec) [0x00000] 
  at Mono.CSharp.StatementExpression.Resolve (Mono.CSharp.EmitContext ec)
[0x00000] 
  at Mono.CSharp.Block.Resolve (Mono.CSharp.EmitContext ec) [0x00000] 
  at Mono.CSharp.ExplicitBlock.Resolve (Mono.CSharp.EmitContext ec) [0x00000] 
  at Mono.CSharp.EmitContext.ResolveTopBlock (Mono.CSharp.EmitContext
anonymous_method_host, Mono.CSharp.ToplevelBlock block, Mono.CSharp.Parameters
ip, IMethodData md, System.Boolean& unreachable) [0x00000]


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