diff options
| author | Esteban Küber <esteban@kuber.com.ar> | 2024-07-08 19:43:20 +0000 |
|---|---|---|
| committer | Esteban Küber <esteban@kuber.com.ar> | 2024-07-11 20:39:24 +0000 |
| commit | cbe75486f7eb6ae9fb00602f5347a09a62a7a9de (patch) | |
| tree | 98bbb9812a87a5bdb586f7287fb491570de207ac /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | b56dc8ee90582d9c1322632d570b996bcb73ecda (diff) | |
| download | rust-cbe75486f7eb6ae9fb00602f5347a09a62a7a9de.tar.gz rust-cbe75486f7eb6ae9fb00602f5347a09a62a7a9de.zip | |
Account for `let foo = expr`; to suggest `const foo: Ty = expr;`
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions