Of course, the *root* issue is the current conservative codegen for the speculatively instantiated templates (eg. the templates instantiated inside static-if conditions). Essentially, such the codegen is unnecessary for the final executable. But to detect the unnecessity, we need more work (the Walter's work recently merged is still still conservative).