More likely "Python developers phone-in AI code that uses type hints".