Here it says `SCOPEcondition` but the behavior also works in template constraints?