Substitute type params in default type params using them.
auto merge of #11982 : eddyb/rust/generic-default-type-params, r=pcwalton

Fixes #11964 and closes #8998.