static generics with concept

[chaemon]

Thanks! I understand the reason.

I wonder why S[int, true] don't satisfy the concept SC but S[int, TRUE] in my 
alternative satisfy the concept SC.