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