coercion: use a generalization of the target to specialize the source to coerce instead of propagating the wrong type.#27292

Closed

eddyb wants to merge 3 commits intorust-lang:masterfrom

eddyb:expect-coerces-generalize

Commits on Jul 26, 2015

coercion: replace unpack_actual_value with shallow_resolve.
eddyb
committed
coercion: restrict the use of snapshots to two cases.
eddyb
committed
coercion: use a generalization of the target to specialize the source to coerce instead of propagating the wrong type.
eddyb
committed