The case with `in` contract is not tested.
I'd provide more exhaustive test case.

```d
class C10513
{
    void foo1() pure
    out {} body {}

    void foo2(int x) pure   // __ensure cannot have pure attribute
    out { assert(x == 1); } body {}

    void bar1() pure
    in {} body {}

    void bar2(int x) pure   // __require cannot have pure attribute
    in { assert(x == 1); } body {}
}

class D10513 : C10513
{
    override void foo1() pure
    body {}

    override void foo2(int x) pure
    out { assert(x == 1); } body {}

    override void bar1() pure
    in {} body {}

    override void bar2(int x) pure
    in { assert(x == 1); } body {}
}
```