{"ast_node_type":"other","tokens":[{"end":47,"kind":"keyword","start":0,"text":"///"}]}
/// where `<filter>` takes the following forms:
/// Output from this function is controlled by passing `-Z dump-mir=<filter>`,
///