diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2022-02-23 12:26:46 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-02-23 12:26:46 +0100 |
| commit | 81794bed123d1441e64578a5a4ada74c1877fd8f (patch) | |
| tree | 1bdf41cd50139f5884ccfe74ccdf933c2b854cf3 /compiler/rustc_codegen_gcc | |
| parent | efe6a979b5a7924123141a6864faea6457b8ca6f (diff) | |
| parent | d0192e62914f3ca48314f5f04a1a9e9c486e8f3e (diff) | |
| download | rust-81794bed123d1441e64578a5a4ada74c1877fd8f.tar.gz rust-81794bed123d1441e64578a5a4ada74c1877fd8f.zip | |
Rollup merge of #94271 - RalfJung:downcast, r=oli-obk
Miri: extend comments on downcast operation r? `@oli-obk`
Diffstat (limited to 'compiler/rustc_codegen_gcc')
0 files changed, 0 insertions, 0 deletions