|
8060 | 8060 | synchronized_pool_resource(const pool_options& opts, memory_resource* upstream); |
8061 | 8061 |
|
8062 | 8062 | synchronized_pool_resource() |
8063 | | - : synchronized_pool_resource(pool_options(), get_default_resource()) {} |
| 8063 | + : synchronized_pool_resource(pool_options(), get_default_resource()) {} |
8064 | 8064 | explicit synchronized_pool_resource(memory_resource* upstream) |
8065 | | - : synchronized_pool_resource(pool_options(), upstream) {} |
| 8065 | + : synchronized_pool_resource(pool_options(), upstream) {} |
8066 | 8066 | explicit synchronized_pool_resource(const pool_options& opts) |
8067 | | - : synchronized_pool_resource(opts, get_default_resource()) {} |
| 8067 | + : synchronized_pool_resource(opts, get_default_resource()) {} |
8068 | 8068 |
|
8069 | 8069 | synchronized_pool_resource(const synchronized_pool_resource&) = delete; |
8070 | 8070 | virtual ~synchronized_pool_resource(); |
|
8087 | 8087 | unsynchronized_pool_resource(const pool_options& opts, memory_resource* upstream); |
8088 | 8088 |
|
8089 | 8089 | unsynchronized_pool_resource() |
8090 | | - : unsynchronized_pool_resource(pool_options(), get_default_resource()) {} |
| 8090 | + : unsynchronized_pool_resource(pool_options(), get_default_resource()) {} |
8091 | 8091 | explicit unsynchronized_pool_resource(memory_resource* upstream) |
8092 | | - : unsynchronized_pool_resource(pool_options(), upstream) {} |
| 8092 | + : unsynchronized_pool_resource(pool_options(), upstream) {} |
8093 | 8093 | explicit unsynchronized_pool_resource(const pool_options& opts) |
8094 | | - : unsynchronized_pool_resource(opts, get_default_resource()) {} |
| 8094 | + : unsynchronized_pool_resource(opts, get_default_resource()) {} |
8095 | 8095 |
|
8096 | 8096 | unsynchronized_pool_resource(const unsynchronized_pool_resource&) = delete; |
8097 | 8097 | virtual ~unsynchronized_pool_resource(); |
|
0 commit comments