const tagName = @compileError("deprecated; use @tagName or @errorName directly");