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 "] 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 );