Code

Rollup of 7 pull requests#113357

Code

Closed

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

Dylan-DPC:rollup-ubwharaDylan-DPC/rust:rollup-ubwharaCopy head branch name to clipboard

Commits

Commits on Jul 4, 2023

• `TypeParameterDefinition` always require a `DefId`

  lcnr

  committed
  594cd84

  Copy full SHA for 594cd84

• Add feature and attribute definition

  fee1-dead

  committed
  2d5d56b

  Copy full SHA for 2d5d56b

• Add effects during lowering for `~const` bounds

  fee1-dead

  committed
  1c837cb

  Copy full SHA for 1c837cb

• enforce context effects in typeck

  fee1-dead

  committed
  8eb3e0b

  Copy full SHA for 8eb3e0b

• allow host param to be lowercase

  fee1-dead

  committed
  0b095a6

  Copy full SHA for 0b095a6

• add test

  fee1-dead

  committed
  30b21b7

  Copy full SHA for 30b21b7

• include `host_effect_index` in `Generics`

  fee1-dead

  committed
  58c105a

  Copy full SHA for 58c105a

• add fixme

  fee1-dead

  committed
  25fc6c1

  Copy full SHA for 25fc6c1

• Remove an AFIT test that isn't an AFIT test

  compiler-errors

  committed
  d8f959a

  Copy full SHA for d8f959a

• Mark more hanging new-solver tests

  compiler-errors

  committed
  388339f

  Copy full SHA for 388339f

• Normalize opaques during codegen in new solver

  compiler-errors

  committed
  51d7111

  Copy full SHA for 51d7111

Commits on Jul 5, 2023

• Winnow specializing impls

  compiler-errors

  committed
  d2a1803

  Copy full SHA for d2a1803

• Remove a redundant argument

  oli-obk

  committed
  d6b82ff

  Copy full SHA for d6b82ff

• Show which type was not specialized on query cycle misuse

  oli-obk

  committed
  97d831d

  Copy full SHA for 97d831d

• Fix some tests to *only* test their main issue and not have secondary failures

  oli-obk

  committed
  9cacfae

  Copy full SHA for 9cacfae

• Remove redundant `delay_span_bug`

  oli-obk

  committed
  66ae999

  Copy full SHA for 66ae999

• Add some extra information to opaque type cycle errors

  oli-obk

  committed
  9e98feb

  Copy full SHA for 9e98feb

• move `ConstKind` to typeir and move inherent impls to `Const`

  BoxyUwU

  committed
  8ac3ffe

  Copy full SHA for 8ac3ffe

• Deal with fallout

  BoxyUwU

  committed
  62174bf

  Copy full SHA for 62174bf

• Narrow trait `CoverageInfoBuilderMethods` down to just one method

  Show description for 4169d0f
  Zalathar

  committed
  4169d0f

  Copy full SHA for 4169d0f

• Remove trait `CoverageInfoMethods`, since non-LLVM backends don't need it

  Show description for 9c430d3
  Zalathar

  committed
  9c430d3

  Copy full SHA for 9c430d3

• Move `coverageinfo::ffi` and `coverageinfo::map` out of SSA

  Zalathar

  committed
  cb570d6

  Copy full SHA for cb570d6

• Rollup merge of #113210 - fee1-dead-contrib:effects-mvp, r=oli-obk

  Show description for 9b87a8c
  Dylan-DPC

  authored
  9b87a8c

  Copy full SHA for 9b87a8c

• Rollup merge of #113319 - lcnr:type-param-def-def-id, r=compiler-errors

  Show description for b73344f
  Dylan-DPC

  authored
  b73344f

  Copy full SHA for b73344f

• Rollup merge of #113320 - oli-obk:eval_obligation_query, r=petrochenkov,BoxyUwU

  Show description for 3b4b215
  Dylan-DPC

  authored
  3b4b215

  Copy full SHA for 3b4b215

• Rollup merge of #113321 - BoxyUwU:move_constkind_to_typeir, r=oli-obk

  Show description for f106202
  Dylan-DPC

  authored
  f106202

  Copy full SHA for f106202

• Rollup merge of #113335 - compiler-errors:reveal-opaques-in-new-solver, r=lcnr

  Show description for 0d238c2
  Dylan-DPC

  authored
  0d238c2

  Copy full SHA for 0d238c2

• Rollup merge of #113337 - compiler-errors:next-solver-winnow-specializing, r=lcnr

  Show description for d18731f
  Dylan-DPC

  authored
  d18731f

  Copy full SHA for d18731f

• Rollup merge of #113355 - Zalathar:ssa, r=oli-obk

  Show description for e1c2844
  Dylan-DPC

  authored
  e1c2844

  Copy full SHA for e1c2844