Does it mean expander can now be used with a global function without specifying the type? Also, at what point will it be expanded?