http://gcc.gnu.org/bugzilla/show_bug.cgi?id=46990
Mikael Morin <mikael at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |mikael at gcc dot gnu.org --- Comment #2 from Mikael Morin <mikael at gcc dot gnu.org> 2010-12-17 21:21:17 UTC --- I don't see the point here. Since one calls two (which expects a type(t)) x in one (of type class(t)) is forced to be a type(t) entity actually. Why not make it a type(t) then ?