Code

Update subtree/library to 2025-04-03#315

Code

Merged

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

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

Apr 4, 2025

Commits

Commits on Mar 21, 2025

• coretests stop relying on `inline_const_pat`

  lcnr

  committed
  1363589

  Copy full SHA for 1363589

Commits on Mar 25, 2025

• Fix UWP reparse point check

  ChrisDenton

  committed
  3519765

  Copy full SHA for 3519765

Commits on Apr 1, 2025

• Auto merge of #138492 - lcnr:rm-inline_const_pat, r=oli-obk

  Show description for ce28e1c
  bors

  committed
  ce28e1c

  Copy full SHA for ce28e1c

• Auto merge of #138928 - ChrisDenton:fix-uwp, r=tgross35

  Show description for 6ca48ca
  bors

  committed
  6ca48ca

  Copy full SHA for 6ca48ca

• compiler and tools dependencies

  Show description for f0d892e
  clubby789

  committed
  f0d892e

  Copy full SHA for f0d892e

• Add `opt-level = "s"` for more std symbolication crates

  clubby789

  committed
  92871ff

  Copy full SHA for 92871ff

Commits on Apr 2, 2025

• Auto merge of #138848 - clubby789:cargo-update, r=Mark-Simulacrum

  Show description for 662abfd
  bors

  committed
  662abfd

  Copy full SHA for 662abfd

• Rollup merge of #139215 - clubby789:std-size-tweaks, r=joboet

  Show description for 408585e
  TaKO8Ki

  authored
  408585e

  Copy full SHA for 408585e