{"ast_node_type":"other","tokens":[{"end":30,"kind":"keyword","start":0,"text":"Known"}]}
    Known { value: Ty<'tcx> },
pub(crate) enum TypeVariableValue<'tcx> {
    Unknown { universe: ty::UniverseIndex },