| 71 | } |
| 72 | |
| 73 | void finalize() override |
| 74 | { |
| 75 | checking.discard(); |
| 76 | filling.discard(); |
| 77 | |
| 78 | // TODO(benh): Discard our promise only after 'checking' and |
| 79 | // 'filling' have completed (ready, failed, or discarded). |
| 80 | promise.discard(); |
| 81 | } |
| 82 | |
| 83 | private: |
| 84 | void check() |