[Typing-sig] Type annotation for slice