rust Various cleanups around the const eval query providers

Various cleanups around the const eval query providers

Open oli-obk opened this issue 1 year ago • 1 comments

r? @RalfJung

after this, working on running validation before interning starts with swapping the order of two lines of code

Mar 12 '24 17:03 oli-obk

The Miri subtree was changed

cc @rust-lang/miri

Some changes occurred to the CTFE / Miri engine

cc @rust-lang/miri

Mar 12 '24 17:03 rustbot

@bors r=RalfJung

Mar 13 '24 09:03 oli-obk

:pushpin: Commit a3fa7059dd5e00e32ead0b06790575f0505bfab7 has been approved by RalfJung

It is now in the queue for this repository.

Mar 13 '24 09:03 bors

@bors r-

Mar 13 '24 12:03 oli-obk

@bors r=RalfJung rollup

Mar 13 '24 12:03 oli-obk

:pushpin: Commit 339322735ebe9540102c6fdc96382610bee1e1ed has been approved by RalfJung

It is now in the queue for this repository.

Mar 13 '24 12:03 bors

:umbrella: The latest upstream changes (presumably #122243) made this pull request unmergeable. Please resolve the merge conflicts.

Mar 14 '24 10:03 bors

@bors r=RalfJung

Mar 14 '24 12:03 oli-obk

:pushpin: Commit a316c21dc8aa1ebfb961a2c789757593fd1db9ef has been approved by RalfJung

It is now in the queue for this repository.

Mar 14 '24 12:03 bors