c3c/test/test_suite/generic/generic_contract_aggregation.c3

import std::io;

<* @require Type.kindof == SIGNED_INT *>
struct Foo <Type>
{
	Type a;
}

fn int main()
{
	Foo{double} d; // #error:  Parameter(s) failed validation: @require "Type.kindof == SIGNED_INT"
	return 0;
}