But, there is no conditional path when the type system can assure the compiler that there is nothing to be conditional about. Do they mean that it's impossible

But, there is no conditional path when the type system can assure the compiler that there is nothing to be conditional about. Do they mean that it's impossible to be 100% sure about if there's a conditional path or not?