It's currently not possible to restrict a template to be only instantiated with a specific class or its subclasses.
Possible syntax for such a feature could be:
class Container<Class T extends Element> {}; // Java-like
class Container<Class T> where T : Element {}; // C#-likeI just realized that there is technically already a syntax for it the code base:
class SCR_Sorting<Class T, SCR_SortCompare TCompare>
{
...but it doesn't seem to be enforced, as the example below still compiles:
class WrongClass
{
static int Compare(Managed left, Managed right);
}
void RunTest()
{
SCR_Sorting<Managed,WrongClass> sorting = new SCR_Sorting<Managed, WrongClass>();
}