is type checking in D undecidable?

[Bruce Carneal via Digitalmars-d-learn]

Is type checking in D undecidable?  Per the wiki on dependent 
types it sure looks like it is.

I assume that it's well known to the compiler contributors that D 
type checking is undecidable which, among other reasons, is why 
we have things like template recursion limits.

Confirmation of the assumption or refutation would be most 
welcome.