I still think a bogus error only with --enable-checking doesn't merit P1, but it's still worth fixing. The problem was that the typeid code hadn't been SFINAEd yet. Tested x86_64-pc-linux-gnu, applying to trunk.