Trait upcasting coercion (part1)#86264

Merged

bors merged 4 commits intorust-lang:masterfrom

crlf0710:trait_upcasting_part1

Jul 31, 2021

Commits on Jul 30, 2021

Added feature gate.

alexreg
authored and
crlf0710
committed
Add feature gate tests.
crlf0710
committed
Implement trait upcasting coercion type-checking.
crlf0710
committed

Commits on Jul 31, 2021

Add more tests to cover more corner cases of type-checking.
crlf0710
committed