Take 2: Implement object-safety and dynamic dispatch for arbitrary_self_types - #54383

Merged

bors merged 19 commits into

rust-lang:masterfrom

mikeyhew:custom-receivers-object-safety

Nov 3, 2018

Commits on Nov 1, 2018

Make all object-safety methods require a global TyCtxt
mikeyhew
committed
d14af13
move some code around to avoid query cycles
mikeyhew
committed
a920036
Add CoerceSized trait and lang item
mikeyhew
committed
be80a79
Implement the object-safety checks for arbitrary_self_types: part 1
mikeyhew
committed
d5c2c4a
Implement object-safety for arbitrary_self_types: part 2
mikeyhew
committed
9f59da2
Add CoerceSized impls throughout libstd
mikeyhew
committed
192900e
update tests that have changed output
mikeyhew
committed
a0f23f8
Add new tests and update existing for object-safe custom receivers
mikeyhew
committed
82f1f9a
fix docs on trait
mikeyhew
committed
c29641e
Replace CoerceSized trait with DispatchFromDyn
mikeyhew
committed
f12c250
update DispatchFromDyn doctest
mikeyhew
committed
48d7f8d
fix error-index test
mikeyhew
committed
3c56d8d
Replace UncoeribleReceiver error message with UndispatchableReceiver
mikeyhew
committed
74ef46c
Add layout sanity checks in object safety
mikeyhew
committed
6f2a161
Put backticks around field names, types and paths in error messages
mikeyhew
committed
b5b25f8
add `U: Trait` to the param env during DispatchFromDyn check
mikeyhew
committed
eb997d7
Remove this check for object-safety during selection of trait object candidates
mikeyhew
committed
3db2203
Add a check for reprs that could change the ABI
mikeyhew
committed
a468da9
Add comments explaining how codegen works for `dyn Trait` methods
mikeyhew
committed
192e7c4