{"ast_node_type":"other","tokens":[{"end":14,"kind":"keyword","start":0,"text":"Arbitrary,"}]}
    Arbitrary,
    /// `u.a.x` and `a.b.y` are.
    /// The places have the same type, and are either completely disjoint