What does this assertion function declaration require of every code path through its body?

function assertIsString(val: unknown): asserts val is string { if (typeof val !== "string") { throw new Error("Not a string"); } }