Remove DefiningAnchor from InferCtxt#108389

Closed

oli-obk wants to merge 23 commits intorust-lang:masterfrom

oli-obk:invert_defines

Commits on Mar 1, 2023

Don't look at InferCtxt::defining_use_anchor from deep inside the opaque type resolution and pass it down instead
oli-obk
committed
Add `DefiningAnchor` to `FnCtxt` in preparation for removing it from InferCtxt
oli-obk
committed
Prefer a local `DefiningAnchor` over the `InferCtxt` one
oli-obk
committed
Avoid using the old anchor in new_in_snapshot
oli-obk
committed
Actually set the defining use anchor on ObligationCtxt
oli-obk
committed
Avoid giving an inferctxt a defining use anchor
oli-obk
committed
Stop using `old_defining_use_anchor` except in `select_where_possible`
oli-obk
committed
Bubble `old_defining_use_anchor` upwards from `select_all_or_error`
oli-obk
committed
Bubble defining use anchor out of `fully_solve_obligations`
oli-obk
committed
Bubble anchor out of fully_solve_obligation
oli-obk
committed
Replace a use of `old_defining_use_anchor` with `Error` (it was always `Error`)
oli-obk
committed
Replace another `old_defining_use_anchor` with error
oli-obk
committed
Replace two uses of `old_defining_use_anchor` with error
oli-obk
committed
Bubble up the defining_use_anchor from `fully_perform`
oli-obk
committed
Remove another use of `old_defining_use_anchor`
oli-obk
committed
Remove the final use of `old_defining_use_anchor`
oli-obk
committed
Remove `DefiningAnchor` from `InferCtxt` entirely
oli-obk
committed
Require all ObligationCtxt to have a defining anchor at creation time
oli-obk
committed
Give all trait engines direct access to `DefiningAnchor` instead of passing it in every time
oli-obk
committed
Remove the now-redundant field from Inherited
oli-obk
committed
Require SelectionContext to have a `DefiningAnchor` from the start
oli-obk
committed
Add `at` methods to `FnCtxt` and `Coerce` to simplify the "inherited" method calls
oli-obk
committed
Require all `.at` calls to provide a defining use anchor
oli-obk
committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

Remove DefiningAnchor from InferCtxt#108389

Commits on Mar 1, 2023

Don't look at InferCtxt::defining_use_anchor from deep inside the opaque type resolution and pass it down instead

Add `DefiningAnchor` to `FnCtxt` in preparation for removing it from InferCtxt

Prefer a local `DefiningAnchor` over the `InferCtxt` one

Avoid using the old anchor in new_in_snapshot

Actually set the defining use anchor on ObligationCtxt

Avoid giving an inferctxt a defining use anchor

Stop using `old_defining_use_anchor` except in `select_where_possible`

Bubble `old_defining_use_anchor` upwards from `select_all_or_error`

Bubble defining use anchor out of `fully_solve_obligations`

Bubble anchor out of fully_solve_obligation

Replace a use of `old_defining_use_anchor` with `Error` (it was always `Error`)

Replace another `old_defining_use_anchor` with error

Replace two uses of `old_defining_use_anchor` with error

Bubble up the defining_use_anchor from `fully_perform`

Remove another use of `old_defining_use_anchor`

Remove the final use of `old_defining_use_anchor`

Remove `DefiningAnchor` from `InferCtxt` entirely

Require all ObligationCtxt to have a defining anchor at creation time

Give all trait engines direct access to `DefiningAnchor` instead of passing it in every time

Remove the now-redundant field from Inherited

Require SelectionContext to have a `DefiningAnchor` from the start

Add `at` methods to `FnCtxt` and `Coerce` to simplify the "inherited" method calls

Require all `.at` calls to provide a defining use anchor