|
Instances of a Dereferenceable
type can be used like a pointer to access an lvalue.
In the table below, T is
a model of Dereferenceable, and x
denotes an object of type T.
In addition, all pointers are Dereferenceable.
|
Expression |
Result |
Operational Semantics |
|---|---|---|
|
|
convertible to |
|