{"ast_node_type":"other","tokens":[{"end":73,"kind":"keyword","start":0,"text":"Unknown"}]}
    Unknown { origin: ConstVariableOrigin, universe: ty::UniverseIndex },
    Known { value: ty::Const<'tcx> },
}