Use defaults from formal type parameters in type inference, as fallbacks. - #13702

Closed

eddyb wants to merge 3 commits into

rust-lang:masterfrom

eddyb:infer-defaults

Commits on Apr 23, 2014

rustc: DRY typeck::infer::{glb, lub, sub}.
eddyb
committed
1b1577c
rustc: take the type definitions when creating inference variables for them.
eddyb
committed
0722a74
rustc: use defaults from formal type parameters in type inference, as fallbacks.
eddyb
committed
b6727f5