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

+470-210

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