rust/compiler/rustc_borrowck/src, branch 1.80.0

Uplift TypeRelation and Relate

2024-06-06T11:50:19+00:00

Add `Ty` to `mir::Const::Ty`

2024-06-05T21:25:41+00:00

Basic removal of `Ty` from places (boring)

2024-06-05T21:25:38+00:00

Rollup merge of #125667 - oli-obk:taintify, r=TaKO8Ki

2024-06-04T12:52:12+00:00

Silence follow-up errors directly based on error types and regions During type_of, we used to just return an error type if there were any errors encountered. This is problematic, because it means a struct declared as `struct Foo<'static>` will end up not finding any inherent or trait impls because those impl blocks' `Self` type will be `{type error}` instead of `Foo<'re_error>`. Now it's the latter, silencing nonsensical follow-up errors about `Foo` not having any methods. Unfortunately that now allows for new follow-up errors, because borrowck treats `'re_error` as `'static`, causing nonsensical errors about non-error lifetimes not outliving `'static`. So what I also did was to just strip all outlives bounds that borrowck found, thus never letting it check them. There are probably more nuanced ways to do this, but I worried there would be other nonsensical errors if some outlives bounds were missing. Also from the test changes, it looked like an improvement everywhere.

Nits and formatting

2024-06-03T14:02:08+00:00

Add cycle errors to ScrubbedTraitError to remove a couple more calls to new_with_diagnostics

2024-06-03T13:27:52+00:00

Move FulfillmentErrorCode to rustc_trait_selection too

2024-06-03T13:27:52+00:00

Use ScrubbedTraitError in more places

2024-06-03T13:27:52+00:00

Opt-in diagnostics reporting to avoid doing extra work in the new solver

2024-06-03T13:27:52+00:00

Make TraitEngines generic over error

2024-06-03T13:27:52+00:00