diff options
| author | Yuki Okushi <huyuumi.dev@gmail.com> | 2020-05-29 15:06:55 +0900 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-05-29 15:06:55 +0900 |
| commit | d472f8e4624277163f33f9070bf0474669d3844e (patch) | |
| tree | a5125d43d54a6a6bc8a0a2a57414e730cbb5653c /src/test/rustdoc-js-std/string-from_ut.js | |
| parent | ea5848df4b6150a5d308af643968d54bb510ac03 (diff) | |
| parent | ba0d0c27df15b7a4d15d01eef3043ffb6cf65a8e (diff) | |
| download | rust-d472f8e4624277163f33f9070bf0474669d3844e.tar.gz rust-d472f8e4624277163f33f9070bf0474669d3844e.zip | |
Rollup merge of #72288 - vorner:stabilize-weak-into-raw, r=dtolnay
Stabilization of weak-into-raw Closes #60728. There are also two removals of `#![feature(weak_into_raw)]` in the `src/tools/miri` submodule. How should I synchronize the changes with there? * I can ignore it for now and once this gets merged, update the tool, send a pull request to that one and then reference the changes to rustc. * I could try submitting the changes to miri first, but then the build would fail there, because the attribute would still be needed. I think the first one is the correct one, extrapolating from the contributing guidelines (even though they speak about breaking the tools and this should not break it, as extra feature should not hurt).
Diffstat (limited to 'src/test/rustdoc-js-std/string-from_ut.js')
0 files changed, 0 insertions, 0 deletions