{"ast_node_type":"other","tokens":[{"end":78,"kind":"keyword","start":0,"text":"ValueTyDefId::StaticId(_)"}]}
            ValueTyDefId::StaticId(_) => return Substitution::empty(Interner),
            ValueTyDefId::ConstId(it) => it.into(),
            ValueTyDefId::EnumVariantId(var) => {