Change the warning in substTy back to an assertion