{"ast_node_type":"other","tokens":[{"end":2,"kind":"keyword","start":0,"text":"//"}]}
//
/// local place can be mutated.
// FIXME: @nikomatsakis suggested that this flag could be removed with the following modifications: