diff options
| author | Samuel Tardieu <sam@rfc1149.net> | 2025-07-03 19:09:27 +0200 |
|---|---|---|
| committer | Samuel Tardieu <sam@rfc1149.net> | 2025-07-03 22:14:00 +0200 |
| commit | 83148cb28343bf15ed469f946915c73deeaa9a28 (patch) | |
| tree | 3e0471656404a69a26a2feccc5b482fdcdf1f388 /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | 08f5ebafa62a5fd3a30bc3f8e4f2c50ae2a2ecbf (diff) | |
| download | rust-83148cb28343bf15ed469f946915c73deeaa9a28.tar.gz rust-83148cb28343bf15ed469f946915c73deeaa9a28.zip | |
Do not always consider parameters of closures as type-certain
`Node::Param(…)` can represent function parameters as well as closure parameters. In the second case, a type is not always given. When no type is given, consider it uncertain.
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions