{"ast_node_type":"other","tokens":[{"end":55,"kind":"keyword","start":0,"text":"|"}]}
            | DefiningTy::InlineConst(_, args) => args,
            | DefiningTy::Const(_, args)
            DefiningTy::GlobalAsm(_) => ty::List::empty(),