syntax_data: {"ast_node_type":"other","tokens":[{"end":52,"kind":"keyword","start":0,"text":")"}]}
source_snippet:         ) -> crate::Answer<Region<'tcx>, Ty<'tcx>> {
context_before:             assume: crate::Assume,
context_after:             crate::maybe_transmutable::MaybeTransmutableQuery::new(