[Typer] [Git][monnier/typer][master] Instantiate implicit args when there's no function call