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