PR# 14005 Call on Void target generates an invariant violation in VOID_TARGET exception object

Problem Report Summary
Submitter: manus_eiffel
Category: .NET
Priority: Medium
Date: 2008/02/19
Class: Bug
Severity: Serious
Number: 14005
Release: 6.2.7.2329
Confidential: No
Status: Open
Responsible:
Environment: Mozilla/5.0 (Windows; U; Windows NT 5.2; en-US; rv:1.8.1.12) Gecko/20080201 Firefox/2.0.0.12
Synopsis: Call on Void target generates an invariant violation in VOID_TARGET exception object

Description
In .NET, if you check all assertions and do the following code:

s: STRING
s.do_nothing

you expect the VOID_TARGET exception to be triggered, but instead you get an invariant violation.

This was discovered running the first step in the eweasel test#multierr007. A new eweasel test should be added for that problem.
To Reproduce

										

									

								

							

						

					

				

			

		

	









	

		

			
Problem Report Interactions