struct S
{
    @safe invariant
    {
        assert(true);
    }
}