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.