Rollup of 6 pull requests#113454

Closed

GuillaumeGomez wants to merge 30 commits intorust-lang:masterfrom

GuillaumeGomez:rollup-wof0vt8

Commits on Jul 6, 2023

Structurally normalize again for byte string lit pat checking
compiler-errors
committed
On nightly, dump ICE backtraces to disk
estebank
committed

Commits on Jul 7, 2023

Remove variances_of on RPITIT gats, remove its one use-case
compiler-errors
committed
Use `PathBuf::from` instead of `try_from`
estebank
committed
Add run-make test for ICE dump
estebank
committed
test fixme for CI
estebank
committed
Require TAITs to be mentioned in the signatures of functions that register hidden types for them
oli-obk
committed
Remove normalization from `opaque_types_defined_by`
oli-obk
committed
We don't need to track binders if we aren't normalizing
oli-obk
committed
liar liar find_taits_declared_in_body on fire
oli-obk
committed
Remove one layer of nested matching on the same thing
oli-obk
committed
Move some logic into a method on `OpaqueTypeCollector`
oli-obk
committed
Collect nested items immediately instead of collecting them into an intermediate `Vec` first
oli-obk
committed
Only match on the `DefKind` once.
oli-obk
committed
Add regression test
oli-obk
committed
Fix one layer of closures not being able to constrain opaque types
oli-obk
committed
Treat closures as part of their parent
oli-obk
committed
miri: check that assignments do not self-overlap
RalfJung
committed
If re-export is private, get the next item until a public one is found or expose the private item directly
GuillaumeGomez
committed
Add regression test for #81141
GuillaumeGomez
committed
Improve code readability
GuillaumeGomez
committed
Extend issue-81141-private-reexport-in-public-api test to cover more cases
GuillaumeGomez
committed
Rename `first_not_private` into `first_non_private`
GuillaumeGomez
committed
Correctly handle `super` and `::`
GuillaumeGomez
committed
Rollup merge of #108714 - estebank:ice_dump, r=oli-obk
GuillaumeGomez
authored
Rollup merge of #112652 - oli-obk:tait_only_in_sig, r=compiler-errors
GuillaumeGomez
authored
Rollup merge of #113374 - GuillaumeGomez:private-to-public-path, r=notriddle,fmease
GuillaumeGomez
authored
Rollup merge of #113399 - compiler-errors:next-solver-byte-pat-again, r=oli-obk
GuillaumeGomez
authored
Rollup merge of #113427 - compiler-errors:no-variances-of-rpitit-gat, r=spastorino
GuillaumeGomez
authored
Rollup merge of #113441 - RalfJung:assign-no-overlap, r=oli-obk
GuillaumeGomez
authored

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

Rollup of 6 pull requests#113454

Rollup of 6 pull requests#113454
GuillaumeGomez wants to merge 30 commits intorust-lang:masterfrom
GuillaumeGomez:rollup-wof0vt8

Commits on Jul 6, 2023

Structurally normalize again for byte string lit pat checking

On nightly, dump ICE backtraces to disk

Commits on Jul 7, 2023

Remove variances_of on RPITIT gats, remove its one use-case

Use `PathBuf::from` instead of `try_from`

Add run-make test for ICE dump

test fixme for CI

Require TAITs to be mentioned in the signatures of functions that register hidden types for them

Remove normalization from `opaque_types_defined_by`

We don't need to track binders if we aren't normalizing

liar liar find_taits_declared_in_body on fire

Remove one layer of nested matching on the same thing

Move some logic into a method on `OpaqueTypeCollector`

Collect nested items immediately instead of collecting them into an intermediate `Vec` first

Only match on the `DefKind` once.

Add regression test

Fix one layer of closures not being able to constrain opaque types

Treat closures as part of their parent

miri: check that assignments do not self-overlap

If re-export is private, get the next item until a public one is found or expose the private item directly

Add regression test for #81141

Improve code readability

Extend issue-81141-private-reexport-in-public-api test to cover more cases

Rename `first_not_private` into `first_non_private`

Correctly handle `super` and `::`

Rollup merge of #108714 - estebank:ice_dump, r=oli-obk

Rollup merge of #112652 - oli-obk:tait_only_in_sig, r=compiler-errors

Rollup merge of #113374 - GuillaumeGomez:private-to-public-path, r=notriddle,fmease

Rollup merge of #113399 - compiler-errors:next-solver-byte-pat-again, r=oli-obk

Rollup merge of #113427 - compiler-errors:no-variances-of-rpitit-gat, r=spastorino

Rollup merge of #113441 - RalfJung:assign-no-overlap, r=oli-obk

Rollup of 6 pull requests#113454GuillaumeGomez wants to merge 30 commits intorust-lang:masterrust-lang/rust:masterfrom GuillaumeGomez:rollup-wof0vt8GuillaumeGomez/rust:rollup-wof0vt8Copy head branch name to clipboard

Commits

Commits on Jul 6, 2023

Commits on Jul 7, 2023

Rollup of 6 pull requests#113454
GuillaumeGomez wants to merge 30 commits intorust-lang:masterfrom
GuillaumeGomez:rollup-wof0vt8