syntax_data: {"ast_node_type":"other","tokens":[{"end":52,"kind":"keyword","start":0,"text":"mir::Const::Ty(_,"}]}
source_snippet:             mir::Const::Ty(_, c) => match c.kind() {
context_before:             mir::Const::Unevaluated(uv, ty) => (uv.shrink(), ty),
context_after:                 // A constant that came from a const generic but was then used as an argument to