{"ast_node_type":"function","tokens":[{"end":57,"kind":"keyword","start":0,"text":"fn"}]}
fn owns_allocation(tcx: TyCtxt<'_>, ty: Ty<'_>) -> bool {
// SyncUnsafeCell, or any of the above in arbitrary many nested Box'es.
    if ty.is_array() {