Add const generics to infer (and transitive dependencies)#59008

Merged

bors merged 47 commits intorust-lang:masterfrom

varkor:const-generics-infer

May 2, 2019

Commits on May 1, 2019

Add `consts` to `TypeRelation`

varkor
and
yodaldevoid
committed
Define `super_relate_consts`

varkor
and
yodaldevoid
committed
Add `ConstError`

varkor
and
yodaldevoid
committed
Add const_variable.rs

varkor
and
yodaldevoid
committed
Add generic consts to `BottomUpFolder`

varkor
and
yodaldevoid
committed
Add `ct_err`

varkor
and
yodaldevoid
committed
Define `canonicalize_const_var`

varkor
and
yodaldevoid
committed
Add `CanonicalVarKind::Const`

varkor
and
yodaldevoid
committed
Define `super_combine_consts`

varkor
and
yodaldevoid
committed
Define `const_unification_error`

varkor
and
yodaldevoid
committed
Add const generics to unification tables

varkor
and
yodaldevoid
committed
Implement TypeRelation::consts

varkor
and
yodaldevoid
committed
Add stubs for `fold_const`

varkor
and
yodaldevoid
committed
Handle generic consts in relate and infer

varkor
and
yodaldevoid
committed
Drive-by comment fixes

varkor
and
yodaldevoid
committed
Rename *shallow_resolve to *shallow_resolve_type

varkor
and
yodaldevoid
committed
Remove `fold_const` override for `ReverseMapper`

varkor
and
yodaldevoid
committed
impl fold_const for RegionFudger

yodaldevoid
authored and
varkor
committed
Rename mk_infer to mk_ty_infer

yodaldevoid
authored and
varkor
committed
impl mk_const_infer

yodaldevoid
authored and
varkor
committed
impl fold_const for TypeFreshener

yodaldevoid
authored and
varkor
committed
impl visit_const for HasEscapingVarsVisitor

yodaldevoid
authored and
varkor
committed
impl fold_const for Shifter

yodaldevoid
authored and
varkor
committed
Implement fold_const for BoundVarReplacer
varkor
committed
Inline ConstError into TypeError
varkor
committed
Add `ConstValue::Placeholder`
varkor
committed
Add `PlaceholderConst`
varkor
committed
Handle `ConstValue::Placeholder` in `canonicalizer`
varkor
committed
Replace ConstVariableTable with UnificationTable
varkor
committed
Fix rebase from LazyConst removal
varkor
committed
Take ConstValue::Placeholder into account in new locations
varkor
committed
Fix missing parenthesis
varkor
committed
Implement const generics for `InferenceFudger`
varkor
committed
Fix rebase issue
varkor
committed
Add `const-types` test
varkor
committed
Remove spurious assertion
varkor
committed
Fix known-known const unification case
varkor
committed
Fix unused variable warning
varkor
committed
Correct name of constrained_generic_params alias
varkor
committed
Resolve FIXME in probe.rs
varkor
committed
Fix issue with const params in operand.rs
varkor
committed
Add a test for const arguments
varkor
committed
Fold const in writeback
varkor
committed
Add a test for incorrect numbers of const args
varkor
committed
Add a test for const args that cannot be inferred

varkor
and
yodaldevoid
committed
Create ShallowResolver

varkor
and
yodaldevoid
committed
Split `ct_err` out into `CommonConsts`

varkor
and
yodaldevoid
committed