I more strongly associate rustc with the specific binary `rustc`, compared to rustdoc which as far as I'm concerned could be a library with a different name. Maybe this explains why I care more about case for the former?

"cause"

Are there situations (due to associated types?) where polymorphic recursion that is not syntactically guaranteed to terminate, will in fact terminate for some choices of type argument?