{"ast_node_type":"other","tokens":[{"end":59,"kind":"keyword","start":0,"text":"///"}]}
    /// generic arg here whenever we create a new inference
    /// Unlike `EvalCtxt::var_values`, we append a new
    /// variable.