)]}' { "id": "eaae5912a6583687edf39fbe6db8fcbdafe57794", "repo": "tint", "revision": "01e4b54497febf506d5d66ff8928474c07fdaab9", "path": "src/sem/type_manager.cc" }