http://gcc.gnu.org/bugzilla/show_bug.cgi?id=46507
--- Comment #8 from Jan Hubicka <hubicka at gcc dot gnu.org> --- Hmm, also if there is anything in standard that prevents user to pass object of type A by reference to type B (where A is not derived from B) then we can get the type info from type of parameter t.
