import org.checkerframework.common.returnsreceiver.qual.*;

// Test basic subtyping relationships for the Returns Receiver Checker.
public class SubtypingTest {
  void allSubtypingRelationships(@UnknownThis int x, @BottomThis int y) {
    @UnknownThis int a = x;
    @UnknownThis int b = y;
    // :: error: assignment
    @BottomThis int c = x; // expected error on this line
    @BottomThis int d = y;
  }
}