Explanation: The assertion that converts a value into its literal type. Useful for ensuring a value remains constant and doesn't widen into a more general type.