[Dlang-internal] Frontend Issues w/ implementing UFCS Partial Template Evaluation (for language server use)

Dennis dkorpel at gmail.com
Tue Oct 7 16:03:06 UTC 2025


On Tuesday, 7 October 2025 at 15:57:22 UTC, Clouudy wrote:
> Isn't CTFE required to evaluate whether something is an 
> instance of a template? How would I do that if that's true?

CTFE may be necessary to determine the type of an Expression, for 
example `mixin(f())` needs to evaluate `f()` to a string, but 
that is handled by semantic analysis. But when you have a call to 
template function `f` like `f(x)`, you only need to know the type 
of `x`, not evaluate `x` to a value at compile time.


More information about the Dlang-internal mailing list