Module place_ops

Enums§

HasPlace
PlaceBorrow: Borrow a subplace.
PlaceRead: Read a value from a subplace.
PlaceWrite: Write to a subplace.
PlaceMove: Allows moving a value out of a subplace. This uses PlaceRead::read to read the value.
PlaceDeref: Allows dereferencing a subplace that contains a pointer. The returned pointer will only be used for further place operations.
PlaceDrop: Drop the contents of a subplace.
DropHusk: Clean up a pointer whose contained place has been moved out of/dropped.
PlaceCoerce: If at a coercion site an expression e has type T but type U was expected, and T: HasPlace and T::Target: PlaceCoerce<T>, then we replace e with @T::Target::Output **e and repeat this until types match and raise an error otherwise.
PlaceWrap: If X: PlaceWrap and X::Target has a field field, then X itself acquires a virtual field named field as well. That field has type <X as PlaceWrap<proj_ty!(X::Target.field)>>::WrappedProj::Target, and WrappedProj is the projection used when we refer to that field.