According to Apache TVM, CUDA driver and runtime versions are incompatible, even though they're not

Question

nvidia-smi reports that my current environment (an NVIDIA T4 on AWS) has driver version 450.80.02 installed:

$ nvidia-smi
+----------------------