{"ast_node_type":"other","tokens":[{"end":3,"kind":"keyword","start":0,"text":"///"}]}
///
///     that shows how to do this at `tests/ui-fulldeps/obtain-borrowck.rs`.
/// *   Polonius is highly unstable, so expect regular changes in its signature or other details.