is type checking in D undecidable?

Bruce Carneal bcarneal at
Thu Oct 22 17:25:44 UTC 2020

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 

More information about the Digitalmars-d-learn mailing list