Fix ICE due to todo!() in rustdoc for Terms
#106024
+18
−4
Merged