The Genesis of Generic Germination - #53645

Merged

bors merged 8 commits into

rust-lang:masterfrom

varkor:const-generics-redux

May 6, 2019

Commits on May 6, 2019

Remove duplicate comment

varkor
and
yodaldevoid
committed
638d1d3
Shift const vars through binders

varkor
and
yodaldevoid
committed
59ebd1b
Ignore const parameters when constructing type bounds in rustdoc

varkor
and
yodaldevoid
committed
ad78fcf
Implement TypeFoldable for InferConst

varkor
and
yodaldevoid
committed
c619754
Clean up `push_const_name`

varkor
and
yodaldevoid
committed
670cf11
Remove incorrect FIXME

varkor
and
yodaldevoid
committed
c0454f0
Resolve a couple of `unimplemented!()`s

varkor
and
yodaldevoid
committed
5fc0395
Implement `ToTrace` for `ty::Const`
varkor
committed
9a2772a