{"ast_node_type":"other","tokens":[{"end":38,"kind":"keyword","start":0,"text":")"}]}
    ) -> InterpResult<'tcx, AllocId> {
        ) -> InterpResult<'tcx, ()>,
        // `allocate` picks a fresh AllocId that we will associate with its data below.