From 6310ad10dcf0114e806740938a08908d5df4dc0a Mon Sep 17 00:00:00 2001
From: hermanventer <herman@endor.ai>
Date: Mon, 24 Jul 2023 13:12:22 -0700
Subject: [PATCH] update TAG_PROPAGATION_ALL

---
 annotations/Cargo.toml | 2 +-
 annotations/src/lib.rs | 1 +
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/annotations/Cargo.toml b/annotations/Cargo.toml
index 76a6b644..a0e30d20 100644
--- a/annotations/Cargo.toml
+++ b/annotations/Cargo.toml
@@ -1,7 +1,7 @@
 [package]
 
 name = "mirai-annotations"
-version = "1.12.0"
+version = "1.12.1"
 authors = ["Herman Venter <herman_venter@msn.com>"]
 description = "Macros that provide source code annotations for MIRAI"
 repository = "https://github.com/facebookexperimental/MIRAI"
diff --git a/annotations/src/lib.rs b/annotations/src/lib.rs
index ab3977b9..92850358 100644
--- a/annotations/src/lib.rs
+++ b/annotations/src/lib.rs
@@ -182,6 +182,7 @@ pub const TAG_PROPAGATION_ALL: TagPropagationSet = tag_propagation_set!(
     TagPropagation::SubComponent,
     TagPropagation::SubOverflows,
     TagPropagation::SuperComponent,
+    TagPropagation::Transmute,
     TagPropagation::UninterpretedCall
 );