{"ast_node_type":"other","tokens":[{"end":70,"kind":"keyword","start":0,"text":"///"}]}
    /// as we walk the defining uses, we are checking that all of them
    /// define the same hidden type. This variable is set to `Some`