rust/rustc_trait_selection at 820fd05e2908cf8f3e65c1fbe2400216da66b6b7 - rust

History

Matthias Krüger b45a819bef Rollup merge of #92006 - oli-obk:welcome_opaque_types_into_the_fold, r=nikomatsakis Welcome opaque types into the fold r? ```@nikomatsakis``` because idk who else to bug on the type_op changes The commits have explanations in them. The TLDR is that * `5c46002273` stops the "recurse and replace" scheme that replaces opaque types with their canonical inference var by just doing that ahead of time * `bdeeb07bf6` does not affect anything on master afaict, but since opaque types generate obligations when instantiated, and lazy TAIT instantiates opaque types everywhere, we need to properly handle obligations here instead of just hoping no problematic obligations ever come up.	2022-01-13 08:11:19 +01:00
..
src	Rollup merge of #92006 - oli-obk:welcome_opaque_types_into_the_fold, r=nikomatsakis	2022-01-13 08:11:19 +01:00
Cargo.toml

Matthias Krüger b45a819bef

Rollup merge of #92006 - oli-obk:welcome_opaque_types_into_the_fold, r=nikomatsakis

Welcome opaque types into the fold

r? ```@nikomatsakis``` because idk who else to bug on the type_op changes

The commits have explanations in them. The TLDR is that

* 5c46002273 stops the "recurse and replace" scheme that replaces opaque types with their canonical inference var by just doing that ahead of time
* bdeeb07bf6 does not affect anything on master afaict, but since opaque types generate obligations when instantiated, and lazy TAIT instantiates opaque types *everywhere*, we need to properly handle obligations here instead of just hoping no problematic obligations ever come up.

2022-01-13 08:11:19 +01:00

src Rollup merge of #92006 - oli-obk:welcome_opaque_types_into_the_fold, r=nikomatsakis 2022-01-13 08:11:19 +01:00

Cargo.toml