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). ;-)