Support F-Bounded Quantification in the VM.

[crelier]

This should be supported in the VM:

class FBound<F extends FBound<F>> {}

class Bar extends FBound<Bar> {}

class SubBar extends Bar {}

main() {
  FBound<Bar> fb = new FBound<Bar>();
  FBound<SubBar> fsb = new FBound<SubBar>(); /// 01: static type error
}

[crelier]

Added Area-VM label.

[iposva-google]

Added Accepted label.

[crelier]

Issue #1222 has been merged into this issue.

[crelier]

Issue #1427 has been merged into this issue.

[crelier]

Fixed at r7047.

---

Added Fixed label.

[crelier]

Fixed at r7047.