[Mono-bugs] [Bug 80310][Nor] New - [GMCS] Missing check for overriden member return type

[bugzilla-daemon at bugzilla.ximian.com]

Please do not reply to this email- if you want to comment on the bug, go to the
URL shown below and enter your comments there.

Changed by marek.safar at seznam.cz.

http://bugzilla.ximian.com/show_bug.cgi?id=80310

--- shadow/80310	2006-12-18 18:02:51.000000000 -0500
+++ shadow/80310.tmp.1279	2006-12-18 18:02:51.000000000 -0500
@@ -0,0 +1,53 @@
+Bug#: 80310
+Product: Mono: Compilers
+Version: 1.2
+OS: 
+OS Details: 
+Status: NEW   
+Resolution: 
+Severity: 
+Priority: Normal
+Component: C#
+AssignedTo: rharinath at novell.com                            
+ReportedBy: marek.safar at seznam.cz               
+QAContact: mono-bugs at ximian.com
+TargetMilestone: ---
+URL: 
+Cc: 
+Summary: [GMCS] Missing check for overriden member return type
+
+Please fill in this template when reporting a bug, unless you know what you
+are doing.
+Description of Problem:
+
+
+Steps to reproduce the problem:
+1. A nice sample
+ 
+abstract class A<T>
+{
+    public abstract T getT();
+
+    class B : A<B>
+    {
+        public override B getT()
+        {
+            return default (B);
+        }
+    }
+}
+
+Actual Results:
+
+No error 
+
+Expected Results:
+
+?.cs(7,27): error CS0508: `A<T>.B.getT()': return type must be `A<T>.B' to
+match overridden member `A<A<T>.B>.getT()'
+
+
+How often does this happen? 
+
+
+Additional Information: