This implies that non-optional types cannot result in a null-pointer error; the compiler can ensure this is not possible. Switch statements must be made exhaustive, either by including cases for all possible values or by including a default case which is run when the provided value doesn’t match any of the other cases. In particular they…