Need information for constants

[gtrepta]

Context

An example of a constant (under func) in a call terminator:

                  "terminator": {
                    "kind": {
                      "Call": {
                        "args": [],
                        "destination": {
                          "local": 1,
                          "projection": []
                        },
                        "func": {
                          "Constant": {
                            "const_": {
                              "id": 10,
                              "kind": "ZeroSized",
                              "ty": 25
                            },
                            "span": 51,
                            "user_ty": null
                          }
                        },
                        "target": 1,
                        "unwind": "Continue"
                      }
                    },

Problem

This constant has an id: 10, so somewhere there should be what this constant's value actually is (a function pointer/reference?) in the smir_pretty output, but it doesn't exist anywhere.

Notes

Source which generated the above snippet:

fn test_true() -> bool {
    true
}

fn main() {
    test_true();
}

[jberthold]

It is far from obvious, but (from my understanding) the function being called by this Call terminator is indicated by the ty field in the constant, Call.func.Constant.const_.ty = 25 . That number should map to the callee's NormalSym name, which then needs to be searched as symbol_name in the items to find the item that we execute next.