tree f61b69b4967e3cc831545668768cee807cf10d50
parent 7497d93ef17d2b87fa8efb5c5de33f0bdc4155af
parent ebfa2f448efcce8f8121b883ee876653fc098261
author bors <bors@rust-lang.org> 1582870492 +0000
committer bors <bors@rust-lang.org> 1582870492 +0000

Auto merge of #68505 - skinny121:canonicalize-const-eval-inputs, r=nikomatsakis

Canonicalize inputs to const eval where needed

Canonicalize inputs to const eval, so that they can contain inference variables. Which enables invoking const eval queries even if the current param env has inference variable within it, which can occur during trait selection.

This is a reattempt of #67717, in a far less invasive way.

Fixes #68477

r? @nikomatsakis
cc @eddyb