Allow assert-signals(type-union(...), ...) to work.