diff options
| author | Michael Goulet <michael@errs.io> | 2024-07-21 21:37:22 -0400 |
|---|---|---|
| committer | Michael Goulet <michael@errs.io> | 2024-07-21 22:32:29 -0400 |
| commit | 6dfc9f8886535725630fdf2f5d70459a21f3ca16 (patch) | |
| tree | 54b15cc1ce751ba421038ef31f88a80a4f43146b /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | 023b583f6ac49643226fe33b3f9f90cc31dce403 (diff) | |
| download | rust-6dfc9f8886535725630fdf2f5d70459a21f3ca16.tar.gz rust-6dfc9f8886535725630fdf2f5d70459a21f3ca16.zip | |
Explain that coroutine can be marked static
And also point out the def span of the coroutine
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions