{"ast_node_type":"other","tokens":[{"end":81,"kind":"keyword","start":0,"text":"///"}]}
    /// Returns whether this definition is known to not be further specializable.
impl LeafDef {
    pub fn is_final(&self) -> bool {