expect

expect[T: TrivialRegisterPassable, //, expected_val: T](val: T) -> T

Provides information about expected (the most probable) value of val, which can be used by optimizers.

Notes: Only works with integer/boolean types.

Parameters:

• ​T (TrivialRegisterPassable): The type of the input value.
• ​expected_val (T): The expected value of val.

Args:

• ​val (T): The input value.

Returns:

T: The input value.