Code

Rollup of 10 pull requests#108053

Code

Closed

matthiaskrgr wants to merge 29 commits intorust-lang:masterrust-lang/rust:masterfrom

matthiaskrgr:rollup-sjv68lymatthiaskrgr/rust:rollup-sjv68lyCopy head branch name to clipboard

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

• Add feature gate for non_lifetime_binders

  compiler-errors

  committed
  4285990

  Copy full SHA for 4285990

• Rename some region-specific stuff

  compiler-errors

  committed
  43faa69

  Copy full SHA for 43faa69

• Make things actually work

  compiler-errors

  committed
  74a1eb5

  Copy full SHA for 74a1eb5

• Be better about bound vars

  compiler-errors

  committed
  e2c7562

  Copy full SHA for e2c7562

• A bit more work on late-bound consts

  compiler-errors

  committed
  bd3e324

  Copy full SHA for bd3e324

• Deny some late-bound ty/ct in some positions, add tests

  compiler-errors

  committed
  0162292

  Copy full SHA for 0162292

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 #107489 - compiler-errors:non_lifetime_binders, r=cjgillot

  Show description for 71bad87
  matthiaskrgr

  authored
  71bad87

  Copy full SHA for 71bad87

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

  Show description for 6d78502
  matthiaskrgr

  authored
  6d78502

  Copy full SHA for 6d78502

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

  Show description for 42bd543
  matthiaskrgr

  authored
  42bd543

  Copy full SHA for 42bd543

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

  Show description for 0c5c12e
  matthiaskrgr

  authored
  0c5c12e

  Copy full SHA for 0c5c12e

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

  Show description for 557b6b1
  matthiaskrgr

  authored
  557b6b1

  Copy full SHA for 557b6b1

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

  Show description for 5188391
  matthiaskrgr

  authored
  5188391

  Copy full SHA for 5188391

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

  Show description for 6f22722
  matthiaskrgr

  authored
  6f22722

  Copy full SHA for 6f22722

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

  Show description for 16b3055
  matthiaskrgr

  authored
  16b3055

  Copy full SHA for 16b3055

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

  Show description for 5aaaac8
  matthiaskrgr

  authored
  5aaaac8

  Copy full SHA for 5aaaac8

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

  Show description for ea31f83
  matthiaskrgr

  authored
  ea31f83

  Copy full SHA for ea31f83