{"ast_node_type":"other","tokens":[{"end":68,"kind":"keyword","start":0,"text":"//"}]}
                // For a constant body, there are no inputs, and one
            DefiningTy::Const(def_id, _) => {
                // "output" (the type of the constant).