{"ast_node_type":"other","tokens":[{"end":98,"kind":"keyword","start":0,"text":"///"}]}
    /// to go through the redirect of checking the ctor's attributes - but compiling a small crate
    /// owns this variant. It is used for checking if a struct has `#[non_exhaustive]` w/out having
    /// requires loading the `AdtDef`s for all the structs in the universe (e.g., coherence for any