Add const generics to ty (and transitive dependencies)#58583

Merged

bors merged 34 commits intorust-lang:masterfrom

varkor:const-generics-ty

Mar 7, 2019

Commits on Mar 5, 2019

Add Const generic param to ty

varkor
and
yodaldevoid
committed
Add ParamConst

varkor
and
yodaldevoid
committed
Add ConstVid

varkor
and
yodaldevoid
committed
Add InferConst

varkor
and
yodaldevoid
committed
Add type_flags helper methods to consts

varkor
and
yodaldevoid
committed
Use non_erasable_generics for codegen

varkor
and
yodaldevoid
committed
Take const generics into account when monomorphising

varkor
and
yodaldevoid
committed
Add const kind and UnpackedKind::Const

varkor
and
yodaldevoid
committed
Add ConstValue::Param and ConstValue::Infer

varkor
and
yodaldevoid
committed
Add type constraints from const parameters

varkor
and
yodaldevoid
committed
Update diagnostics to include const parameters

varkor
and
yodaldevoid
committed
Implement Hash for new types

varkor
and
yodaldevoid
committed
Stub methods in infer

varkor
and
yodaldevoid
committed
Take const into account in context

varkor
and
yodaldevoid
committed
Add const type flags

varkor
and
yodaldevoid
committed
Pretty printing for const generics

varkor
and
yodaldevoid
committed
Make a lazy const from a const param

varkor
and
yodaldevoid
committed
Add ast_const_to_const

varkor
and
yodaldevoid
committed
Refactor compare_method

varkor
and
yodaldevoid
committed
Implement wfcheck for const parameters

varkor
and
yodaldevoid
committed
Implement collect for const parameters

varkor
and
yodaldevoid
committed
Stub rustdoc const generics implementations

varkor
and
yodaldevoid
committed
Add HAS_CT_INFER

varkor
and
yodaldevoid
committed
Implement structural_impls for const generics

varkor
and
yodaldevoid
committed
Handle new ConstValue variants in mir

varkor
and
yodaldevoid
committed
Handle const generics in typeck

varkor
and
yodaldevoid
committed
Handle const generics elsewhere

varkor
and
yodaldevoid
committed
Update const generics tests

varkor
and
yodaldevoid
committed
Update test fallout

varkor
and
yodaldevoid
committed
Fix negative integer literal test

varkor
and
yodaldevoid
committed
Clean up some generic substs handling
varkor
committed
Fix rebase fallout
varkor
committed
Make adjustments for comments
varkor
committed

Commits on Mar 6, 2019

Refactor const_to_op
varkor
committed