{"ast_node_type":"other","tokens":[{"end":22,"kind":"keyword","start":0,"text":"tcx:"}]}
    tcx: TyCtxt<'tcx>,
pub fn write_allocation_bytes<'tcx, Prov: Provenance, Extra, Bytes: AllocBytes>(
    alloc: &Allocation<Prov, Extra, Bytes>,