Rollup of 7 pull requests - #113357

Closed

Dylan-DPC wants to merge 29 commits into

rust-lang:masterfrom

Dylan-DPC:rollup-ubwhara

Commits on Jul 4, 2023

`TypeParameterDefinition` always require a `DefId`
lcnr
committed
594cd84
Add feature and attribute definition
fee1-dead
committed
2d5d56b
Add effects during lowering for `~const` bounds
fee1-dead
committed
1c837cb
enforce context effects in typeck
fee1-dead
committed
8eb3e0b
allow host param to be lowercase
fee1-dead
committed
0b095a6
add test
fee1-dead
committed
30b21b7
include `host_effect_index` in `Generics`
fee1-dead
committed
58c105a
add fixme
fee1-dead
committed
25fc6c1
Remove an AFIT test that isn't an AFIT test
compiler-errors
committed
d8f959a
Mark more hanging new-solver tests
compiler-errors
committed
388339f
Normalize opaques during codegen in new solver
compiler-errors
committed
51d7111

Commits on Jul 5, 2023

Winnow specializing impls
compiler-errors
committed
d2a1803
Remove a redundant argument
oli-obk
committed
d6b82ff
Show which type was not specialized on query cycle misuse
oli-obk
committed
97d831d
Fix some tests to *only* test their main issue and not have secondary failures
oli-obk
committed
9cacfae
Remove redundant `delay_span_bug`
oli-obk
committed
66ae999
Add some extra information to opaque type cycle errors
oli-obk
committed
9e98feb
move `ConstKind` to typeir and move inherent impls to `Const`
BoxyUwU
committed
8ac3ffe
Deal with fallout
BoxyUwU
committed
62174bf
Narrow trait `CoverageInfoBuilderMethods` down to just one method
Zalathar
committed
4169d0f
Remove trait `CoverageInfoMethods`, since non-LLVM backends don't need it
Zalathar
committed
9c430d3
Move `coverageinfo::ffi` and `coverageinfo::map` out of SSA
Zalathar
committed
cb570d6
Rollup merge of #113210 - fee1-dead-contrib:effects-mvp, r=oli-obk
Dylan-DPC
authored
9b87a8c
Rollup merge of #113319 - lcnr:type-param-def-def-id, r=compiler-errors
Dylan-DPC
authored
b73344f
Rollup merge of #113320 - oli-obk:eval_obligation_query, r=petrochenkov,BoxyUwU
Dylan-DPC
authored
3b4b215
Rollup merge of #113321 - BoxyUwU:move_constkind_to_typeir, r=oli-obk
Dylan-DPC
authored
f106202
Rollup merge of #113335 - compiler-errors:reveal-opaques-in-new-solver, r=lcnr
Dylan-DPC
authored
0d238c2
Rollup merge of #113337 - compiler-errors:next-solver-winnow-specializing, r=lcnr
Dylan-DPC
authored
d18731f
Rollup merge of #113355 - Zalathar:ssa, r=oli-obk
Dylan-DPC
authored
e1c2844

Navigation Menu

Uh oh!

Uh oh!

Rollup of 7 pull requests - #113357

Rollup of 7 pull requests#113357
Dylan-DPC wants to merge 29 commits into
rust-lang:masterfrom
Dylan-DPC:rollup-ubwhara

Commits on Jul 4, 2023

`TypeParameterDefinition` always require a `DefId`

Add feature and attribute definition

Add effects during lowering for `~const` bounds

enforce context effects in typeck

allow host param to be lowercase

add test

include `host_effect_index` in `Generics`

add fixme

Remove an AFIT test that isn't an AFIT test

Mark more hanging new-solver tests

Normalize opaques during codegen in new solver

Commits on Jul 5, 2023

Winnow specializing impls

Remove a redundant argument

Show which type was not specialized on query cycle misuse

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

Remove redundant `delay_span_bug`

Add some extra information to opaque type cycle errors

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

Deal with fallout

Narrow trait `CoverageInfoBuilderMethods` down to just one method

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

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

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

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

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

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

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

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

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