Error found by random test generator, report in here.

Submitted by André Vieira on 18 January 2013 at 15:04

Generated and shrunk code causing this failure:

application nx

native class L__bF_3_R24.KD4_I7PP__7 {
  constructor( )
}

Stack Trace and the Internal Error reported before:

INTERNAL ERROR: decl-to-name failed: Function(Qualified("L__bF_3_R24","KD4_I7PP__7"){At("../Tests/WebDSL/test.app",9,14)},[],SimpleSort(Qualified("L__bF_3_R24","KD4_I7PP__7"){At("../Tests/WebDSL/test.app",9,14)}),[]){NativeClassConstructorAnnotation(Qualified("L__bF_3_R24","KD4_I7PP__7"){At("../Tests/WebDSL/test.app",9,14)},Qualified("L__bF_3_R24","KD4_I7PP__7"){At("../Tests/WebDSL/test.app",9,14)})}
test: rewriting failed, trace:
	webdslc_main_0_0
	webdslc_main_0_0
	setup_adderror_for_random_testing_1_0
	webdslc_main2_0_0
	xtc_io_wrap_5_0
	option_wrap_5_0
	xtc_io_1_0
	xtc_temp_files_1_0
	restore_always_2_0
	xtc_webdslc_0_0
	dsl_to_core_0_0
	dsl_to_core_analysis_0_0
	stage_1_1
	dr_scope_1_1
	log_timed_1_1
	typecheck_0_0
	in_typechecking_phase_1_0
	dr_scope_1_1
	if_typechecking_2_0
	log_time_1_1
	if_statistics_2_0
	constraint_error_global_0_0
	constraint_double_decls_2_0
	map_1_0
[ test | critical ] Internal error: with clause failed unexpectedly in rule 'constraint-double-decls'