Code

Rollup of 9 pull requests#108056

Code

Merged

bors merged 22 commits intorust-lang:masterrust-lang/rust:masterfrom

matthiaskrgr:rollup-oa6bxvhmatthiaskrgr/rust:rollup-oa6bxvhCopy head branch name to clipboard

Feb 15, 2023

Commits

Commits on Feb 3, 2023

• Fix `x fix` on the standard library itself

  jyn514

  committed
  9be0b3e

  Copy full SHA for 9be0b3e

Commits on Feb 4, 2023

• update ICU4X to 1.1.0

  

  Lukas Markeffsky

  committed
  0d6fdef

  Copy full SHA for 0d6fdef

Commits on Feb 11, 2023

• Update the minimum external LLVM to 14

  cuviper

  committed
  a06aaa4

  Copy full SHA for a06aaa4

• Drop llvm14-builtins-abi with compiler_builtins 0.1.87

  cuviper

  committed
  ffdbd58

  Copy full SHA for ffdbd58

Commits on Feb 13, 2023

• Store metrics from metrics.json into PGO CI timer

  Show description for d6bc681
  

  geordi

  and

  Kobzol

  committed
  d6bc681

  Copy full SHA for d6bc681

• Log all metrics from `metrics.json`

  Kobzol

  committed
  afe9553

  Copy full SHA for afe9553

• Use is_str instead of string kind comparison

  compiler-errors

  committed
  3504c40

  Copy full SHA for 3504c40

Commits on Feb 14, 2023

• add a `#[rustc_coinductive]` attribute

  lcnr

  committed
  646e667

  Copy full SHA for 646e667

• add test for coinduction in new solver

  lcnr

  committed
  51671cd

  Copy full SHA for 51671cd

• change the `marker` attribute to only_local

  lcnr

  committed
  a2f0303

  Copy full SHA for a2f0303

• Refactor refcounted structural_impls via functors

  eggyal

  committed
  26e3363

  Copy full SHA for 26e3363

• interpret: rename Pointer::from_addr → from_addr_invalid

  RalfJung

  committed
  91d2516

  Copy full SHA for 91d2516

• Use derive attributes for uninteresting traversals

  eggyal

  committed
  3b510e8

  Copy full SHA for 3b510e8

• Rollup merge of #107573 - cuviper:drop-llvm-13, r=nagisa

  Show description for a1ba861
  matthiaskrgr

  authored
  a1ba861

  Copy full SHA for a1ba861

• Rollup merge of #107626 - jyn514:x-fix, r=Mark-Simulacrum

  Show description for 2c1d3e9
  matthiaskrgr

  authored
  2c1d3e9

  Copy full SHA for 2c1d3e9

• Rollup merge of #107673 - lukas-code:update-icu4x, r=davidtwco

  Show description for 3549e42
  matthiaskrgr

  authored
  3549e42

  Copy full SHA for 3549e42

• Rollup merge of #107733 - Kobzol:opt-build-metrics, r=Mark-Simulacrum

  Show description for 74d018e
  matthiaskrgr

  authored
  74d018e

  Copy full SHA for 74d018e

• Rollup merge of #108007 - compiler-errors:str-less-kind, r=Nilstrieb

  Show description for 7e0127b
  matthiaskrgr

  authored
  7e0127b

  Copy full SHA for 7e0127b

• Rollup merge of #108033 - lcnr:coinductive-attr, r=compiler-errors

  Show description for edcdab0
  matthiaskrgr

  authored
  edcdab0

  Copy full SHA for edcdab0

• Rollup merge of #108039 - eggyal:traverse_refcounts_via_functors, r=oli-obk

  Show description for 207d6e1
  matthiaskrgr

  authored
  207d6e1

  Copy full SHA for 207d6e1

• Rollup merge of #108040 - eggyal:attributes_for_uninteresting_traversals, r=oli-obk

  Show description for 9b39568
  matthiaskrgr

  authored
  9b39568

  Copy full SHA for 9b39568

• Rollup merge of #108044 - RalfJung:from-addr-invalid, r=oli-obk

  Show description for 8e82c8c
  matthiaskrgr

  authored
  8e82c8c

  Copy full SHA for 8e82c8c