Implement object-safety for arbitrary_self_types - #50173

Closed

mikeyhew wants to merge 32 commits into

rust-lang:masterfrom

mikeyhew:arbitrary-self-types-object-safety

Commits on Sep 4, 2018

Make all object-safety methods require a global TyCtxt
mikeyhew
committed
0f0b7cb
Try to do the CoerceUnsized check for object safety
mikeyhew
committed
6e05b92
reduce line length to please tidy
mikeyhew
committed
d3af466
do the coerce_unsized check last
mikeyhew
committed
09202f3
only check for object-safety if we have an inference variable
mikeyhew
committed
0f76082
remove some `use` declarations that got added in during rebase
mikeyhew
committed
76d3e73
Add some log messages to aid in debugging
mikeyhew
committed
ebe1199
re-bind receiver_ty to avoid escaping regions errors
mikeyhew
committed
04cbc1d
It's the receiver type we're checking, not Self
mikeyhew
committed
831e821
allow `self: Self` as a special case for backward-compat
mikeyhew
committed
e5ca14c
keep receiver_ty behind a Binder always
mikeyhew
committed
1509275
call liberate_late_bound_regions on receiver_ty
mikeyhew
committed
9cbce68
fix bug when trait arguments appear in `receiver_ty`
mikeyhew
committed
e3b3167
update object-safety ui test for new object-safety rules
mikeyhew
committed
478763b
create receiver_substs using the method's DefId
mikeyhew
committed
b31b0f9
update some compile-fail tests
mikeyhew
committed
3e8c5bc
Add the CoerceSized trait
mikeyhew
committed
a63a201
switch from using CoerceUnsized to CoerceSized for the object-safety check
mikeyhew
committed
2598c1f
update comments and fix bug in object_safety.rs
mikeyhew
committed
c236af3
update code comments in object-safety.rs
mikeyhew
committed
ffcadd4
update doc comments and fix tidy lints
mikeyhew
committed
f85e838
update object_safety module-level documentation
mikeyhew
committed
85b25a6
use [X => Y] instead of [X -> Y] for substitution notation
mikeyhew
committed
39e13ae
address nit about `{` being on the wrong line
mikeyhew
committed
9bfb39d
add ICE message explaining that custom receivers dynamic dispatch is not implemented yet
mikeyhew
committed
6b14a12
Finish updating ui tests
mikeyhew
committed
2739801
Move CoerceSized from marker to ops
mikeyhew
committed
e972b2b
Add a test with pointers and wrappers
mikeyhew
committed
3c6fcde
fix issue number for coerce_sized feature
mikeyhew
committed
01d0a2e

Commits on Sep 5, 2018

Add a positive test using stdlib pointers
mikeyhew
committed
ad8f4c0
Undo submodule changes in a63a201ba5f543ddd858bb65881d7e696fde6707
mikeyhew
committed
ac7677f

Commits on Sep 6, 2018

remove stray newline
mikeyhew
committed
c5a8553