struct S
{
    invariant(true);
}