Template constraints should introduce identifiers inside their scopes

[Petar]

On Wednesday, 21 September 2022 at 11:23:57 UTC, HuskyNator wrote:
> [..]
>
> ---
>
> Given the above consideration, assuming this is not a bug 
> (tested on both dmd & ldc), I believe identifiers introduced 
> inside a template constraint should be visible inside the scope 
> of the template.

Agreed, it's been bothering me as well. (It is a language design 
question, not a implementation bug.)