{"ast_node_type":"other","tokens":[{"end":56,"kind":"keyword","start":0,"text":"ty::ConstKind::Placeholder(placeholder)"}]}
            ty::ConstKind::Placeholder(placeholder) => {
            ty::ConstKind::Value(cv) => cv.ty(),
                placeholder.find_const_ty_from_env(goal.param_env)