diff options
| author | Yuki Okushi <jtitor@2k36.org> | 2023-04-09 12:35:54 +0900 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-04-09 12:35:54 +0900 |
| commit | 1e4361a23f07bbc8f19cfadc3cc470651ece8212 (patch) | |
| tree | 4d9d51dd8b77fde4a0911278d7d3b2b4a1228dd4 /compiler/rustc_interface/src | |
| parent | ec1712f06e21b72ed0ec5a4d1f12aa0383c764cc (diff) | |
| parent | 5f50c0f7ac668bf1b2a29aa706d5b645e7060f65 (diff) | |
| download | rust-1e4361a23f07bbc8f19cfadc3cc470651ece8212.tar.gz rust-1e4361a23f07bbc8f19cfadc3cc470651ece8212.zip | |
Rollup merge of #110060 - WaffleLapkin:sync_refs, r=jyn514
Document that `&T` and `&mut T` are `Sync` if `T` is Proof: https://play.rust-lang.org/?version=stable&mode=debug&edition=2021&gist=fec8dc9ec36e873bf2962a2367d67045
Diffstat (limited to 'compiler/rustc_interface/src')
0 files changed, 0 insertions, 0 deletions