1
Fork 0
rust/compiler/rustc_infer/src
bors 027c8507b4 Auto merge of #103902 - vincenzopalazzo:macros/obligation_rulesv2, r=oli-obk
use `LocalDefId` instead of `HirId` in trait resolution to simplify the obligation clause resolution

This commit introduces a refactoring suggested by `@lcnr` to simplify the obligation clause resolution.

This is just the first PR that introduces a type of refactoring, but others PRs will follow this to introduce name changing to change from the variable name from `body_id` to something else.

Fixes https://github.com/rust-lang/rust/issues/104827

Signed-off-by: Vincenzo Palazzo <vincenzopalazzodev@gmail.com>

`@rustbot` r? `@lcnr`
2023-01-25 16:39:29 +00:00
..
errors Fix #107090, fix missing arguments for fluent 2023-01-18 22:53:24 +08:00
infer Auto merge of #103902 - vincenzopalazzo:macros/obligation_rulesv2, r=oli-obk 2023-01-25 16:39:29 +00:00
traits fix: use LocalDefId instead of HirId in trait res 2023-01-23 11:42:18 +00:00
lib.rs Remove #![allow(rustc::potential_query_instability)] from rustc_infer 2022-10-28 15:32:49 +02:00