I believe he means that certain things that would need static analysis in other languages are impossible to do as part of the type system. For example match st

I believe he means that certain things that would need static analysis in other languages are impossible to do as part of the type system. For example match statements need to be exhaustive. Your program won't compile unless they are.