Found in SVN Revision 114848: When compiling the following code, the compiler throws an IndexOutOfRangeException:



public class Foo<T, U>
{
    public Bar<T> FooDoSomething<V>() where V : U
    {
        return null;
    }
}

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

public class Baz
{
    public void BazDoSomething()
    {
        Bar<string> bar = new Bar<string>();
        bar.BarDoSomething<string>().FooDoSomething<string>();
    }
}



[mono] /tmp @ mono --debug /opt/mono/lib/mono/2.0/gmcs.exe -t:library test.cs 
Exception caught by the compiler while compiling:
   Block that caused the problem begin at: test.cs(19,17):
                     Block being compiled: [test.cs(20,5):,test.cs(23,5):]
System.IndexOutOfRangeException: Array index is out of range.
Internal compiler error at test.cs(19,17):: exception caught while emitting MethodBuilder [Baz::BazDoSomething]

Unhandled Exception: 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) [0x000aa] in /home/tobias/sandbox/x/mcs/mcs/generic.cs:1610 
  at Mono.CSharp.ConstraintChecker.CheckConstraints (IResolveContext ec, Int32 index) [0x0018d] in /home/tobias/sandbox/x/mcs/mcs/generic.cs:1556 
  at Mono.CSharp.ConstraintChecker.CheckConstraints (IResolveContext ec) [0x00007] in /home/tobias/sandbox/x/mcs/mcs/generic.cs:1479 
  at Mono.CSharp.ConstraintChecker.CheckConstraints (Mono.CSharp.EmitContext ec, System.Reflection.MethodBase definition, System.Reflection.MethodBase instantiated, Location loc) [0x00014] in /home/tobias/sandbox/x/mcs/mcs/generic.cs:1697 
  at Mono.CSharp.MethodGroupExpr.OverloadResolve (Mono.CSharp.EmitContext ec, System.Collections.ArrayList& Arguments, Boolean may_fail, Location loc) [0x0082f] in /home/tobias/sandbox/x/mcs/mcs/ecore.cs:4459 
  at Mono.CSharp.Invocation.DoResolveOverload (Mono.CSharp.EmitContext ec) [0x00000] in /home/tobias/sandbox/x/mcs/mcs/expression.cs:4853 
  at Mono.CSharp.Invocation.DoResolve (Mono.CSharp.EmitContext ec) [0x0013e] in /home/tobias/sandbox/x/mcs/mcs/expression.cs:4793 
  at Mono.CSharp.Expression.Resolve (Mono.CSharp.EmitContext ec, ResolveFlags flags) [0x00075] in /home/tobias/sandbox/x/mcs/mcs/ecore.cs:488 
  at Mono.CSharp.Expression.Resolve (Mono.CSharp.EmitContext ec) [0x00000] in /home/tobias/sandbox/x/mcs/mcs/ecore.cs:515 
  at Mono.CSharp.ExpressionStatement.ResolveStatement (Mono.CSharp.EmitContext ec) [0x00000] in /home/tobias/sandbox/x/mcs/mcs/ecore.cs:1319 
  at Mono.CSharp.StatementExpression.Resolve (Mono.CSharp.EmitContext ec) [0x0000b] in /home/tobias/sandbox/x/mcs/mcs/statement.cs:743 
  at Mono.CSharp.Block.Resolve (Mono.CSharp.EmitContext ec) [0x000f0] in /home/tobias/sandbox/x/mcs/mcs/statement.cs:2241 
  at Mono.CSharp.ExplicitBlock.Resolve (Mono.CSharp.EmitContext ec) [0x00000] in /home/tobias/sandbox/x/mcs/mcs/statement.cs:2536 
  at Mono.CSharp.EmitContext.ResolveTopBlock (Mono.CSharp.EmitContext anonymous_method_host, Mono.CSharp.ToplevelBlock block, Mono.CSharp.Parameters ip, IMethodData md, System.Boolean& unreachable) [0x00087] in /home/tobias/sandbox/x/mcs/mcs/codegen.cs:796