{"ast_node_type":"other","tokens":[{"end":73,"kind":"keyword","start":0,"text":"///"}]}
    /// Possibly "deserialize" the attribute into a clean/dirty assertion
impl<'tcx> DirtyCleanVisitor<'tcx> {
    fn assertion_maybe(&mut self, item_id: LocalDefId, attr: &Attribute) -> Option<Assertion> {