]> git.lizzy.rs Git - rust.git/commitdiff
projects / rust.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: e1eaa2d f4e2b95)
Auto merge of #107693 - petrochenkov:metable, r=oli-obk
authorbors <bors@rust-lang.org>
Tue, 7 Feb 2023 00:03:02 +0000 (00:03 +0000)
committerbors <bors@rust-lang.org>
Tue, 7 Feb 2023 00:03:02 +0000 (00:03 +0000)
rustc_metadata: Encode/decode some `LazyArrays` without an `Option`

and a couple of related changes, see individual commits.

Addresses comments in https://github.com/rust-lang/rust/pull/107166#discussion_r1083417124 and https://github.com/rust-lang/rust/pull/107166#discussion_r1083768417, cc `@cjgillot` `@oli-obk.`


Trivial merge
Empowering everyone to build reliable and efficient software.