From 799e340c012e46132827c7a0bd9c316e5c38395d Mon Sep 17 00:00:00 2001
From: Joshua Warner <joshuawarner32@gmail.com>
Date: Fri, 26 Nov 2021 11:07:37 -0800
Subject: [PATCH] Fix formatting of private tags

---
 compiler/fmt/src/annotation.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/compiler/fmt/src/annotation.rs b/compiler/fmt/src/annotation.rs
index 5f6887965c..626971c6e3 100644
--- a/compiler/fmt/src/annotation.rs
+++ b/compiler/fmt/src/annotation.rs
@@ -518,7 +518,7 @@ impl<'a> Formattable<'a> for Tag<'a> {
                 }
             }
             Tag::Private { name, args } => {
-                buf.push('@');
+                debug_assert!(name.value.starts_with('@'));
                 buf.push_str(name.value);
                 if is_multiline {
                     let arg_indent = indent + INDENT;