Code

Update subtree/library to 2025-05-26#366

Code

Merged

tautschnig merged 61 commits intosubtree/librarymodel-checking/verify-rust-std:subtree/libraryfrom

update-subtree/librarymodel-checking/verify-rust-std:update-subtree/libraryCopy head branch name to clipboard

May 30, 2025

Commits

Commits on Feb 20, 2025

• Guarantee behavior of transmuting Option::<T>::None subject to NPO

  joshlf

  authored
  58be659

  Copy full SHA for 58be659

Commits on Apr 20, 2025

• Stabilize <[T; N]>::as_mut_slice as const

  thaliaarchi

  committed
  98480d8

  Copy full SHA for 98480d8

Commits on Apr 30, 2025

• docs: Specify that common sort functions sort in an ascending direction

  Natr1x

  committed
  df655c4

  Copy full SHA for df655c4

Commits on May 15, 2025

• Update std doctests for android

  Show description for c6d86b4
  ehuss

  committed
  c6d86b4

  Copy full SHA for c6d86b4

Commits on May 16, 2025

• Updated std doctests for wasm

  Show description for 50e05bd
  ehuss

  committed
  50e05bd

  Copy full SHA for 50e05bd

• Implement `advance_by` via `try_fold` for `Sized` iterators

  Show description for 477fdff
  a1phyr

  committed
  477fdff

  Copy full SHA for 477fdff

• additional edge cases tests for `path.rs`

  GrantBirki

  committed
  e2664af

  Copy full SHA for e2664af

Commits on May 17, 2025

• Docs(lib/alloc/vec): Add the missing `an` to `extract_if`'s first sentence

  Show description for 4db4525
  PaulDance

  committed
  4db4525

  Copy full SHA for 4db4525

• Docs(lib/coll/hm): Reword `extract_if` to use `element` instead of `value`

  Show description for 7b939b7
  PaulDance

  committed
  7b939b7

  Copy full SHA for 7b939b7

• Docs(lib/coll/btm): Split `extract_if`'s first sentence from the following ones

  Show description for 908e4aa
  PaulDance

  committed
  908e4aa

  Copy full SHA for 908e4aa

• Docs(lib/extract_if): Unify paragraph about closure actions

  Show description for 550dcf6
  PaulDance

  committed
  550dcf6

  Copy full SHA for 550dcf6

• Docs(lib/extract_if): Unify paragraph about elements mutation

  Show description for dd5aae9
  PaulDance

  committed
  dd5aae9

  Copy full SHA for dd5aae9

• Docs(lib/coll/hm): Add kv pair to `extract_if`'s first sentence

  Show description for 792ebed
  PaulDance

  committed
  792ebed

  Copy full SHA for 792ebed

• Docs(lib/extract_if): Unify example description

  Show description for 323be04
  PaulDance

  committed
  323be04

  Copy full SHA for 323be04

• discuss deadlocks in the std::io::pipe() example

  oconnor663

  committed
  b3dc829

  Copy full SHA for b3dc829

• remove `test_embedded_null_byte()` test for now

  GrantBirki

  committed
  62637c1

  Copy full SHA for 62637c1

• Switch library rustc_unimplemented to use `Self` and `This`

  mejrs

  committed
  90ffcdc

  Copy full SHA for 90ffcdc

• revert forward slash to backslash

  GrantBirki

  committed
  6acf8f4

  Copy full SHA for 6acf8f4

• remove extra tests that really might not be all that useful

  GrantBirki

  committed
  14b7e26

  Copy full SHA for 14b7e26

Commits on May 20, 2025

• Rename `cfg_match!` to `cfg_select!`

  Show description for dda44a2
  tgross35

  committed
  dda44a2

  Copy full SHA for dda44a2

Commits on May 21, 2025

• bump stdarch

  RalfJung

  committed
  1bf1c7d

  Copy full SHA for 1bf1c7d

• limit impls of `VaArgSafe` to just types that are actually safe

  Show description for de6bde3
  folkertdev

  committed
  de6bde3

  Copy full SHA for de6bde3

• std: fix doctest and explain for as_slices and as_mut_slices in VecDeque

  Show description for 8b9e244
  xizheyin

  committed
  8b9e244

  Copy full SHA for 8b9e244

• Rollup merge of #140526 - Natr1x:sort-direction-documentation, r=dtolnay

  Show description for b0c6d88
  matthiaskrgr

  authored
  b0c6d88

  Copy full SHA for b0c6d88

• Rollup merge of #141230 - xizheyin:issue-141217, r=tgross35

  Show description for 365198a
  matthiaskrgr

  authored
  365198a

  Copy full SHA for 365198a

• Rollup merge of #141341 - folkertdev:limit-VaArgSafe-impls, r=workingjubilee

  Show description for 2cfee4d
  matthiaskrgr

  authored
  2cfee4d

  Copy full SHA for 2cfee4d

• add doc alias `replace_first` for `str::replacen`

  WaffleLapkin

  authored
  66dc879

  Copy full SHA for 66dc879

Commits on May 22, 2025

• Auto merge of #137198 - tgross35:cfg-match-rename, r=Amanieu

  Show description for 6669d52
  bors

  committed
  6669d52

  Copy full SHA for 6669d52

• Rollup merge of #141337 - RalfJung:stdarch, r=Amanieu

  Show description for 6101e4f
  matthiaskrgr

  authored
  6101e4f

  Copy full SHA for 6101e4f

• Rollup merge of #141370 - WaffleLapkin:hiiii, r=jhpratt

  Show description for dc9f842
  matthiaskrgr

  authored
  dc9f842

  Copy full SHA for dc9f842

• Auto merge of #141379 - matthiaskrgr:rollup-g1cz0ic, r=matthiaskrgr

  Show description for 25d0864
  bors

  committed
  25d0864

  Copy full SHA for 25d0864

• try_cast_aligned: avoid bare int-to-ptr casts

  RalfJung

  committed
  c653602

  Copy full SHA for c653602

• Rollup merge of #141130 - mejrs:use_self, r=compiler-errors

  Show description for 03098d2
  matthiaskrgr

  authored
  03098d2

  Copy full SHA for 03098d2

• Rollup merge of #141381 - RalfJung:try_cast_aligned-strict-provenance, r=tgross35

  Show description for afb6519
  matthiaskrgr

  authored
  afb6519

  Copy full SHA for afb6519

• docs: fix typos

  Dannyyy93

  committed
  0dd69e0

  Copy full SHA for 0dd69e0

• Auto merge of #141396 - matthiaskrgr:rollup-feg050g, r=matthiaskrgr

  Show description for 10ed7f5
  bors

  committed
  10ed7f5

  Copy full SHA for 10ed7f5

Commits on May 23, 2025

• Remove #![feature(let_chains)] from libcore

  est31

  committed
  5725a5b

  Copy full SHA for 5725a5b

• use `cfg_select!` to select the right `VaListImpl` definition

  folkertdev

  committed
  381fab5

  Copy full SHA for 381fab5

• Rollup merge of #141019 - ehuss:android-doctest-xcompile, r=Mark-Simulacrum

  Show description for 525ef2f
  matthiaskrgr

  authored
  525ef2f

  Copy full SHA for 525ef2f

• Rollup merge of #141109 - oconnor663:pipe_example, r=Mark-Simulacrum

  Show description for 4c69136
  matthiaskrgr

  authored
  4c69136

  Copy full SHA for 4c69136

• std: fix aliasing bug in UNIX process implementation

  Show description for ac71cd2
  joboet

  committed
  ac71cd2

  Copy full SHA for ac71cd2

• std: add safety comments to `CStringArray`

  joboet

  committed
  469428a

  Copy full SHA for 469428a

• std: sys: net: uefi: Implement TCP4 connect

  Show description for b47ddfa
  Ayush1325

  committed
  b47ddfa

  Copy full SHA for b47ddfa

• Rollup merge of #138896 - joboet:process_noalias, r=Noratrieb

  Show description for 1d0a148
  matthiaskrgr

  authored
  1d0a148

  Copy full SHA for 1d0a148

• Rollup merge of #141065 - ehuss:wasm-doctest-xcompile, r=Mark-Simulacrum

  Show description for 3308e19
  matthiaskrgr

  authored
  3308e19

  Copy full SHA for 3308e19

• Rollup merge of #141398 - Dannyyy93:typos, r=Noratrieb

  Show description for d0b9882
  matthiaskrgr

  authored
  d0b9882

  Copy full SHA for d0b9882

• GetUserProfileDirectoryW is now documented to always store the size

  RalfJung

  committed
  48c1553

  Copy full SHA for 48c1553

Commits on May 24, 2025

• Auto merge of #141415 - est31:let_chains_libcore, r=tgross35

  Show description for 6034214
  bors

  committed
  6034214

  Copy full SHA for 6034214

• Rollup merge of #141405 - RalfJung:GetUserProfileDirectoryW, r=ChrisDenton

  Show description for 074bf43
  matthiaskrgr

  authored
  074bf43

  Copy full SHA for 074bf43

• Auto merge of #141484 - matthiaskrgr:rollup-dc58owu, r=matthiaskrgr

  Show description for 04c1a04
  bors

  committed
  04c1a04

  Copy full SHA for 04c1a04

• Use C-string literals to reduce boilerplate

  Show description for 0cc8a77
  tamird

  committed
  0cc8a77

  Copy full SHA for 0cc8a77

• Rollup merge of #137323 - joshlf:transmute-npo, r=RalfJung

  Show description for e4f7384
  matthiaskrgr

  authored
  e4f7384

  Copy full SHA for e4f7384

• Rollup merge of #139254 - Ayush1325:uefi-tcp4-connect, r=joboet

  Show description for e2b0757
  matthiaskrgr

  authored
  e2b0757

  Copy full SHA for e2b0757

• rename internal panicking::try to catch_unwind

  RalfJung

  committed
  dd3584c

  Copy full SHA for dd3584c

• Rollup merge of #140066 - thaliaarchi:const-array-as-mut-slice, r=jhpratt

  Show description for 5255409
  GuillaumeGomez

  authored
  5255409

  Copy full SHA for 5255409

• Rollup merge of #141105 - GrantBirki:grantbirki/path-tests, r=jhpratt

  Show description for 24c8767
  GuillaumeGomez

  authored
  24c8767

  Copy full SHA for 24c8767

• Rollup merge of #141498 - tamird:cstr-example-noise, r=jhpratt

  Show description for b517086
  GuillaumeGomez

  authored
  b517086

  Copy full SHA for b517086

• Rollup merge of #141505 - RalfJung:catch_unwind, r=Noratrieb

  Show description for 265aa85
  GuillaumeGomez

  authored
  265aa85

  Copy full SHA for 265aa85

Commits on May 25, 2025

• Rollup merge of #141108 - PaulDance:fix-extract_if-docs, r=Mark-Simulacrum

  Show description for 546dd13
  jhpratt

  authored
  546dd13

  Copy full SHA for 546dd13

• Rollup merge of #141361 - folkertdev:varargs-cfg, r=workingjubilee

  Show description for 1d9af0c
  jhpratt

  authored
  1d9af0c

  Copy full SHA for 1d9af0c

• Auto merge of #141086 - a1phyr:spec_advance_by, r=jhpratt

  Show description for 725b0db
  bors

  committed
  725b0db

  Copy full SHA for 725b0db