We cannot support type annotation for the return type of a function without changes in `WidgetCodeInput`.