syntax_data: {"ast_node_type":"other","tokens":[{"end":94,"kind":"keyword","start":0,"text":"assert_eq!(is_transmutable(&src,"}]}
source_snippet:         assert_eq!(is_transmutable(&src, &dst, Assume::default()), DST_HAS_SAFETY_INVARIANTS);
context_before:         let dst = Tree::Def(Def::HasSafetyInvariants).then(Tree::u8());
context_after:         assert_eq!(