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