Mathias LANG

> Is there a way to detect whether a symbol depends on a template parameter? The resolution happens quite early. The `TemplateInstance` installs the correct types as aliases in the...

I'll have to look deeper to be sure, but instinctively I'd say the result should happen at the `Scope` level, not by adding something to `isDeprecated`. Because relying on the...

> Not sure if i undertsood you correctly, but infering deprecated for the template scope would also hide valid deprecation messages e.g. for the usage of S in the previous...

Well if `foo` is instantiated from a `deprecated` scope you don't want to show that message do you ?

> Ideally yes because the templated symbol is using deprecated stuff while not being deprecated itself. However it will trigger a deprecation warning. And if the other warning is fixed,...

This does not fix the issue I reported. The reported issue was explicitly about `static if`. I think this is a good fix, but not for issue 14835, rather for...

Could you add a description about how this fix the reported issue then ?

@WalterBright : If I understand correctly, you intend to solve the issue by recommending people to switch from the following: ```D bool isEven(int i)() { static if (i % 2)...

I vote for "Specs needs fixing"

The code in question was https://github.com/vibe-d/vibe.d/blob/714e6bc63bf2ff4c8ee9794934eecbc64f0d9a04/data/vibe/data/serialization.d#L645-L651 Nowadays it's: https://github.com/vibe-d/vibe.d/blob/d638b343d6f9ac8da5b18dff61c772d92aa31aa3/data/vibe/data/serialization.d#L766-L778 The `assert` is still a problem, because not all servers use `-release`.