http://gcc.gnu.org/bugzilla/show_bug.cgi?id=47482
--- Comment #1 from Jonathan Wakely <redi at gcc dot gnu.org> 2011-01-26 22:41:50 UTC --- the ICE goes away if K is not a template or if B is initialized with simply A, rather than an expression involving A
