[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