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