Refactor fallback code to prepare for never type#88149

Merged

bors merged 8 commits intorust-lang:masterfrom

Mark-Simulacrum:prep-never-type

Aug 21, 2021

Commits on Aug 19, 2021

factor fallback code into its own module

nikomatsakis
authored and
Mark-Simulacrum
committed
introduce a `Diverging` enum instead of a bool

nikomatsakis
authored and
Mark-Simulacrum
committed
shallow resolve target type in coercion

nikomatsakis
authored and
Mark-Simulacrum
committed
cleanup: extract a helper for coercion from inference variables

nikomatsakis
authored and
Mark-Simulacrum
committed
introduce a Coerce predicate

nikomatsakis
authored and
Mark-Simulacrum
committed

Commits on Aug 20, 2021

move the `sub-unify` check and extend the documentation a bit

nikomatsakis
authored and
Mark-Simulacrum
committed
create `Coercion` obligations given 2 unbound type variables

nikomatsakis
authored and
Mark-Simulacrum
committed
move `fallback_if_possible` and friends to fallback.rs

nikomatsakis
authored and
Mark-Simulacrum
committed