This lesson introduces assertion functions which let us narrow the type of a variable or property for the remainder of the containing scope. We're going to learn how to create an assertion function by using the
asserts keyword in the function signature. In particular, we're going to focus on narrowing the
unknown type to a more specific type.
Well done! I can see multiple uses for this kind of reasoning and "defense" when writing open-source packages.