{"ast_node_type":"other","tokens":[{"end":7,"kind":"keyword","start":0,"text":"///"}]}
    ///
    /// Creates a value by loading the given place.
    /// Before drop elaboration, the type of the place must be `Copy`. After drop elaboration there