Template constraints should introduce identifiers inside their scopes

[Paul Backus]

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.

+1, this has annoyed me in the past too.