The update features a satisfies operator that can catch errors. With satisfies, developers can validate that the type of an expression matches some type, without changing the resulting type of the ...