diff options
| author | Ralf Jung <post@ralfj.de> | 2024-04-16 18:37:56 +0200 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2024-04-17 07:35:48 +0200 |
| commit | ae7b07f2dc9b07aceab318829538222666945efc (patch) | |
| tree | d5e78fcc8ca4e38cb976c1b897560e845d5a9785 /compiler/rustc_pattern_analysis/src | |
| parent | 9e239bdc764f8845b8959962cfaf654524a12b38 (diff) | |
| download | rust-ae7b07f2dc9b07aceab318829538222666945efc.tar.gz rust-ae7b07f2dc9b07aceab318829538222666945efc.zip | |
interpret: rename base_pointer -> root_pointer
also in Miri, "base tag" -> "root tag"
Diffstat (limited to 'compiler/rustc_pattern_analysis/src')
0 files changed, 0 insertions, 0 deletions