Which return-type annotation turns a function into a user-defined type guard?