error.txt

c:\users\karpov\documents\visual studio 2013\Projects\Nemerle.Bugs\Nemerle.Bugs\Main.n(14,19): error : Internal compiler error, please report a bug to bugs.nemerle.org. You can try modifying program near this location.
C:\Program Files (x86)\Nemerle\Net-4.0\Nemerle.MSBuild.targets(289,5): error : internal compiler error: assertion ``False'' failed in file ncc\generation\Typer3.n, line 350: parms length mismatch, set_Foo [] [value : Foo]
	   в Nemerle.Compiler.Typer3.TupleParms(TFunHeader fh, list`1 parms, Int32 closure_parm_count)
	   в Nemerle.Compiler.Typer3._N_just_call_79477(_N_closureOf_EmitCall_79455 _N_EmitCall_cp_79476, IMethod meth, TExpr func, list`1 clo_parms)
	   в Nemerle.Compiler.Typer3.EmitCall(Location loc, TypeVar ret_type, TExpr func, list`1 parms, Boolean is_tail)
	   в Nemerle.Compiler.Typer3.DoWalk(TExpr expr)
	   в Nemerle.Compiler.Typedtree.TExpr.walk(Function`2 f, TExpr expr)
	   в Nemerle.Compiler.Typer3.Walk(TExpr expr)
	   в Nemerle.Compiler.Typer3.DoWalk(TExpr expr)
	   в Nemerle.Compiler.Typedtree.TExpr.walk(Function`2 f, TExpr expr)
	   в Nemerle.Compiler.Typedtree.TExpr.do_walk(Function`2 f, TExpr expr)
	   в Nemerle.Compiler.Typedtree.TExpr.walk(Function`2 f, TExpr expr)
	   в Nemerle.Compiler.Typedtree.TExpr.do_walk(Function`2 f, TExpr expr)
	   в Nemerle.Compiler.Typedtree.TExpr.walk(Function`2 f, TExpr expr)
	   в Nemerle.Compiler.Typedtree.TExpr.do_walk(Function`2 f, TExpr expr)
	   в Nemerle.Compiler.Typedtree.TExpr.null_walk(Function`2 f, TExpr expr)
	   в Nemerle.Compiler.Typedtree.TExpr.do_walk(Function`2 f, TExpr expr)
	   в Nemerle.Compiler.Typedtree.TExpr.walk(Function`2 f, TExpr expr)
	   в Nemerle.Compiler.Typer3.Walk(TExpr expr)
	   в Nemerle.Compiler.Typer3.DoWalk(TExpr expr)
	   в Nemerle.Compiler.Typedtree.TExpr.walk(Function`2 f, TExpr expr)
	   в Nemerle.Compiler.Typer3.Walk(TExpr expr)
	   в Nemerle.Compiler.Typer3.DoWalk(TExpr expr)
	   в Nemerle.Compiler.Typedtree.TExpr.walk(Function`2 f, TExpr expr)
	   в Nemerle.Compiler.Typer3.Walk(TExpr expr)
	   в Nemerle.Compiler.Typer3.Run()
	   в Nemerle.Compiler.Typer.RunFullTyping()
	   в Nemerle.Compiler.MethodBuilder.RunBodyTyper()
	   в Nemerle.Compiler.MethodBuilder.Compile()
	   в Nemerle.Compiler.TypeBuilder.EmitImplementation()
	   в Nemerle.Compiler.TypesManager._N_emit_impl__62688.apply_void(TypeBuilder ti)
	   в Nemerle.Compiler.TypesManager._N_maybe_f__62939.apply_void(TypeBuilder ti)
	   в Nemerle.Collections.NList.Iter[T](list`1 l, FunctionVoid`1 f)
	   в Nemerle.Compiler.TypesManager.Iter(list`1 builders, FunctionVoid`1 f)
	   в Nemerle.Compiler.TypesManager.compile_all_tyinfos(Boolean aux_phase)
	   в Nemerle.Compiler.TypesManager._N__N_lambda__62112__62215.apply_void()
	   в Nemerle.Compiler.Solver.Enqueue(FunctionVoid action)
	   в Nemerle.Compiler.ManagerClass.Run()
	   в Nemerle.CommandlineCompiler.MainClass.main_with_catching() в C:\prj\github\nemerle\ncc\main.n:строка 168
Done building project "Nemerle.Bugs.nproj" -- FAILED.

objexprbug.n

using Nemerle.Extensions;

class Foo { }
class Bar { public Foo : Foo { get; set }  }
  
module Bug1
{ 
  public entity[T]() : T where T : new()
  {
    T()
  }
  public Test() : Bar
  {
    entity() <- { Foo = entity(); }
  }
}