Type-inference for Featherweight Java
class Test extends Object{}
Credit: the layout of this page was shamelessly stolen from
the Simple-sub demo page
.