PR# 11538 Error: actual generic parameter does not conform to constraint. In Error

Problem Report Summary

Submitter: saunders

Category: Compiler

Priority: Medium

Date: 2006/10/12

Class: Bug

Severity: Serious

Number: 11538

Release: EiffelStudio 5 (5.7.64209 GPL Edition)

Confidential: No

Status: Analyzed

Responsible:

Environment: Mozilla/4.0 (compatible; MSIE 7.0; Windows NT 5.1; MathPlayer 2.0; .NET CLR 1.1.4322; .NET CLR 2.0.50727; InfoPath.1; .NET CLR 3.0.04324.17)

Synopsis: Error: actual generic parameter does not conform to constraint. In Error

Description

I made a report of a bug that was not one with the same synopsis title.  I added a default_create to the class that needed it and recompiled without problems.  I wanted to look at the error message again so I commented out the default_create in the create part of the class declaration.  I recompiled and no error message was reported at this point.

Just to test I deleted the EIFGEN directory from the project and recompiled and the error was reported once more.  I believe this is a bug.

To Reproduce

1. Create a class with a contstrained generic parameter:
e.g. MY_CLASS [G -> MY_CONSTRAINT create default_create end]

2. Create a class MY_CONSTRAINT without default_create in the create clause.

3. Compile.  You should get the error.

4. Comment out the default_create in the create clause of MY_CONSTRAINT.

5. Recompile.  YouA(I) don't get the error.

Problem Report Interactions