Bug 492265

Summary: Generics example fails to compile due to bug parsing constraints.
Product: [Mono] Mono: Compilers Reporter: James Michels <jmichels>
Component: C#Assignee: Mono Bugs <mono-bugs>
Status: RESOLVED DUPLICATE QA Contact: Mono Bugs <mono-bugs>
Severity: Major    
Priority: P3 - Medium    
Version: 2.4.x   
Target Milestone: ---   
Hardware: x86-64   
OS: Ubuntu   
Whiteboard:
Found By: --- Services Priority:
Business Priority: Blocker: ---
Marketing QA Status: --- IT Deployment: ---
Attachments: Example code

Description James Michels 2009-04-04 16:00:17 UTC
Created attachment 284131 [details]
Example code

User-Agent:       Mozilla/5.0 (Windows; U; Windows NT 6.1; en-US; rv:1.9.0.7; .NET CLR 3.5; ffco7) Gecko/2009021910 Firefox/3.0.7

The compiler is generating an error for valid code. I am attaching example code to reproduce the problem.

I am seeing the following error.

[Task:File=/home/jmichels/projects/GenericsBugProof/Main.cs, Line=11, Column=36, Type=Error, Priority=Normal, Description=The type `GenericsBugProof.MainClass.Item<GenericsBugProof.MainClass.TypeFamily>' must be convertible to `GenericsBugProof.MainClass.Item<GenericsBugProof.MainClass.Item<GenericsBugProof.MainClass.TypeFamily>>' in order to use it as parameter `T' in the generic type or method `GenericsBugProof.MainClass.Collection<TF>.Find<T>()'(CS0309)]

Reproducible: Always

Steps to Reproduce:
1. Compile example code.
2. See compiler error.
3. Profit

Actual Results:  
Unexpected compiler error.



Expected Results:  
No compiler errors
Comment 1 Marek Safar 2009-09-08 17:54:22 UTC
Fixed in trunk.

*** This bug has been marked as a duplicate of bug 537402 ***