temporary commit (type-inference)