http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55763
--- Comment #20 from Harald Anlauf <anlauf at gmx dot de> 2013-01-05 13:12:30 UTC ---
(In reply to comment #19)
Sorry for the invalid code:
> select type (this)
should have been:
select type (x => this% x)
which compiles (no ICE).
;-)