diff options
| author | Ryo Yoshida <low.ryoshida@gmail.com> | 2023-06-08 23:47:21 +0900 |
|---|---|---|
| committer | Ryo Yoshida <low.ryoshida@gmail.com> | 2023-06-09 00:32:52 +0900 |
| commit | 32768fe310ac9ab4f92dfc637b02632ed1c59ec7 (patch) | |
| tree | bdd33f98ebbf9229449c7ba9043801345f4b63e2 /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | 1c25885bd249ac1af07baf797e5feff95eb95bf1 (diff) | |
| download | rust-32768fe310ac9ab4f92dfc637b02632ed1c59ec7.tar.gz rust-32768fe310ac9ab4f92dfc637b02632ed1c59ec7.zip | |
Infer return type for async function in `generate_function`
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions