fix warning: specialization of template in different namespace

This is related to commit 8c11bc0c
which introduces the FixIrreducible pass. The warning seems hard to
reproduce locally. The latest attempt ought to work.