traits/fulfill: allow `stalled_on` to track `ty::Const::Infer(_)` (unused yet).#70213

Merged

bors merged 3 commits intorust-lang:masterfrom

eddyb:stalled-on-ty-or-const

Mar 24, 2020

Commits on Mar 21, 2020

infer: export methods on `InferCtxt` instead of `ShallowResolver`.
eddyb
committed
traits/fulfill: allow `stalled_on` to track `ty::Const::Infer(_)` (unused yet).
eddyb
committed
traits/fulfill: add a couple FIXME comments about potential optimizations.
eddyb
committed