# ResolveLatticeCompletion S¶

coerce(e) is never really evaluated. This coercion is used for formal type correctness when a function will not return directly to its caller.
coerce(s) throws all information about s away. This coercion allows values of any type to appear in contexts where they will not be used. For example, it allows the resolution of different types in the then and else branches when an if is in a context where the resulting value is not used.