http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45170
--- Comment #22 from Steve Kargl <sgk at troutmask dot apl.washington.edu> 2011-08-09 05:09:13 UTC --- On Tue, Aug 09, 2011 at 04:26:49AM +0000, damian at rouson dot net wrote: > http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45170 > > --- Comment #21 from Damian Rouson <damian at rouson dot net> 2011-08-09 > 04:26:45 UTC --- > Thanks but even the version with the "extraneous garbage" was reduced relative > to what I really want to do (which includes making the speaker type abstract > and the speak type-bound procedure deferred with a specified abstract > interface) so having the reduced case doesn't help much. > > Regardless, hopefully you'll agree that an ICE is a compiler bug. I guess the > question is whether it is another example of Bug 45170 or should be submitted > as a separate bug. Yes, it is bug. It is not as drastic as you stated. Clearly, I demonstrated that a function can have a deferred type parameter as a result. The problem appears to be an OOP issue.