[Mono-bugs] [Bug 77963][Cri] Changed - [GMCS] NRE on class X : Y<X.Z> - derived class of a generic type whose generic argument is its nested child class

[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 jan.oravec at 6com.sk.

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

--- shadow/77963	2006-09-02 21:01:11.000000000 -0400
+++ shadow/77963.tmp.19251	2006-09-03 15:41:26.000000000 -0400
@@ -195,6 +195,18 @@
 
 Seems like ResolveTypes() was called before Resolve(). A quick hack
 "if(!resolved) Resolve();" in the begin of ResolveTypes() appears to
 work. When this is fixed the correct way, I would propose adding
 assertions to such places.
 
+
+------- Additional Comments From jan.oravec at 6com.sk  2006-09-03 15:41 -------
+I had found some time to look deeper inside the compiler code. I
+realized this:
+
+We are constructing type Bar`1[Q] from Bar`1 when Bar`1 is not yet
+fully built, so we need either:
+- drop requirement for constructing type Bar`1[Q] until we have Bar`1
+fully built, or
+- build Bar`1[Q] together with Bar`1 (does Reflexion handle this
+automagically for us when we change Bar`1? looks like it doesn't)
+