DST custom coercions. #982
Conversation
There was a problem hiding this comment.
I don't quite know what "simple substitution of type parameters" means... but I think we want to check that both of them are applications of the same base type constructor. e.g. Foo<X> and Foo<Y> are ok, but not Foo<X> and Bar<Y>.
There was a problem hiding this comment.
I meant that there exists some Ts (where Ts = a sequence of T) and some Xs such that Target = [Ts/Xs]Self and Self is not in Xs. Which I think subsumes your requirement, but also precludes some pathalogical cases such as Target = Foo<T1, T2>, Self = Foo<X, X>.
|
I read over the revised version -- it seems pretty good to me, I left a few comments. |
text/0000-dst-coercion.md
Outdated
There was a problem hiding this comment.
Is this supposed to be implementing CoerceUnsized<NonZero<U>>?
|
I do, I had forgotten this was not merged yet. |
|
Hear ye, hear ye. This RFC is now in final comment period until June 2nd. |
|
This RFC has been accepted. It is not yet merged to allow @nrc to incorporate final comments reflecting the current design. (It has been partially implemented in the meantime.) -- Language design subteam |
Custom coercions allow smart pointers to fully participate in the DST system. In particular, they allow practical use of `Rc<T>` and `Arc<T>` where `T` is unsized. This RFC subsumes part of [RFC 401 coercions](https://github.com/rust-lang/rfcs/blob/master/text/0401-coercions.md).
|
@nikomatsakis updated |
|
Merged. Tracking issue is rust-lang/rust#18598 |
Custom coercions allow smart pointers to fully participate in the DST system.
In particular, they allow practical use of
Rc<T>andArc<T>whereTis unsized.This RFC subsumes part of RFC 401 coercions.
Rendered
[edited to add rendered link]