If the AOT cache contains a class like this:

class A {
    X foo() {
        return new Y();
    }
}

A will be stored with the following verification constraint:

    X must be a supertype of Y

This constraint is checked when class A is linked.

We should add a test case for this scenario to make sure it works properly even when X and/or Y are excluded from the AOT cache.