http://gcc.gnu.org/bugzilla/show_bug.cgi?id=48699 --- Comment #23 from Salvatore Filippone <sfilippone at uniroma2 dot it> 2011-12-03 12:00:43 UTC --- Yes, TYPE FROM and polymorphic TO is exactly the typical usage I have (indeed, it also was the original test case) Thanks