src/ir.cpp: return promise->T instead of promise;