bors 15ef5f5523 Auto merge of #14641 - lowr:fix/obligation-for-value-path, r=Veykril ... Register obligations during path inference Fixes #14635 When we infer path expressions that resolve to some generic item, we need to consider their generic bounds. For example, when we resolve a path `Into::into` to `fn into<?0, ?1>` (note that `?0` is the self type of trait ref), we should register an obligation `?0: Into<?1>` or else their relationship would be lost. Relevant part in rustc is [`add_required_obligations_with_code()`] that's called in [`instantiate_value_path()`]. [`instantiate_value_path()`]: 3462f79e94/compiler/rustc_hir_typeck/src/fn_ctxt/_impl.rs (L1052) [`add_required_obligations_with_code()`]: 3462f79e94/compiler/rustc_hir_typeck/src/fn_ctxt/_impl.rs (L1411)		2023-04-24 19:56:43 +00:00
..
src	Auto merge of #14641 - lowr:fix/obligation-for-value-path, r=Veykril	2023-04-24 19:56:43 +00:00
Cargo.toml	Bump bitflags	2023-04-17 18:42:59 +03:00