Closed
Description
Tracking issue for rust-lang/rfcs#809. This should be filled out with TODO items. Note that in this case there are some unsettled design questions to be resolved as well.
To do:
- land placement-
in
desugaring implementationland overloaded-box
desugaring implementationportlibstd
APIs to supportin
portlibstd
APIs to supportbox
resolve/finalize syntax for placement-in
investigate improvement of inference, coercion, and cast interactions (subissues could type inference fill in the_
inexpr as Box<_>
when expectingBox<Trait>
? #22221, Cannot dox as Box<[T]>
forx: Box<[T; k]>
#22403, Could type inference insert coercions to accommodate box desugaring? #22405)improve error messages when code is rejected (box/in desugaring leads to inscrutable error messages #22231)
Unresolved questions:
- best precedence for
box
(was Precedence ofbox
is possibly wrong #21192)
Activity
box
and placement-in
rust-lang/rfcs#809box (...) ...
syntax #14085box
is possibly wrong #21192box
protocol changes #22086_
inexpr as Box<_>
when expectingBox<Trait>
? #22221x as Box<[T]>
forx: Box<[T; k]>
#2240344 remaining items