framework/tests/all-systems/java8/memberref/Receivers.java

/** BoundR and unbound constraints. */
interface UnboundR {
  void consume(/*1*/ UnboundR this, /*2*/ MyClass my, String s);
}

interface BoundR {
  void consume(/*4*/ BoundR this, String s);
}

interface SupplierR<R> {
  R supply();
}

class MyClass {

  void take(/*6*/ MyClass this, String s) {}

  void context(/*7*/ MyClass my) {
    /*8*/ UnboundR u1 = /*9*/ MyClass::take;
    // 2 <: 6 -- like an override
    // No relation to 1 or 2
    // No relationship or check for 8 / 9?
    // Need to check on this.

    u1.consume(my, "");
    // 7 <: 2
    // 8 <: 1

    /*10*/ BoundR b1 = /*11*/ my::take;
    // 7 <: 6 -- like an invocation
    // No Relationship for 10 / 11?

    b1.consume("");
    // 10 <: 4
  }
}

/** Constraints for implicit inner constraints and super. */
@SuppressWarnings("lock")
class OuterR {
  class Inner {
    Inner(/*1*/ OuterR OuterR.this) {}

    void context() {
      SupplierR<String> o = OuterR.super::toString;
    }
  }

  void context(/*2*/ OuterR this) {
    // This one is unbound and needs an OuterR as a param
    SupplierR</*3*/ Inner> f = /*4*/ Inner::new;
  }
}