{"ast_node_type":"other","tokens":[{"end":88,"kind":"keyword","start":0,"text":"///"}]}
    /// Gets the "auto" assertion on pre-validated attr, along with the `except` labels.
    fn assertion_auto(&mut self, item_id: LocalDefId, attr: &Attribute) -> Assertion {