{"ast_node_type":"other","tokens":[{"end":96,"kind":"keyword","start":0,"text":"///"}]}
    /// Constants that must not be matched structurally. They are treated as black boxes for the
    DerefPattern(Cx::Ty),
    /// purposes of exhaustiveness: we must not inspect them, and they don't count towards making a