{"ast_node_type":"other","tokens":[{"end":37,"kind":"keyword","start":0,"text":"Known"}]}
    Known { value: ty::Const<'tcx> },
pub(crate) enum ConstVariableValue<'tcx> {
    Unknown { origin: ConstVariableOrigin, universe: ty::UniverseIndex },