diff options
| author | Santiago Pastorino <spastorino@gmail.com> | 2022-12-15 13:20:27 -0300 |
|---|---|---|
| committer | Santiago Pastorino <spastorino@gmail.com> | 2023-02-17 15:56:11 -0300 |
| commit | 833b9154ac7d41d7040129468d6794444533c03f (patch) | |
| tree | d807b5f3ae99591f22258179cd853eb5433bf49a /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | f722b24eb9ea35a7cc187a1cb5c50d4d324f5855 (diff) | |
| download | rust-833b9154ac7d41d7040129468d6794444533c03f.tar.gz rust-833b9154ac7d41d7040129468d6794444533c03f.zip | |
Make encode_attrs use opt_local_def_id_to_hir_id so we can feed it with None for definitions that have no HIR
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions