Add null-safety specification of super-bounded types#1133

Merged

eernstg merged 5 commits intomasterfrom spec_super_bounds_aug20

Sep 11, 2020

+122-71

Commits on Aug 5, 2020

Commits on Aug 13, 2020

Moved helper predicates to null safety spec, connected them to subtyping
eernstg
committed
Change definition of super-bounded to treat "rest" positions same as covariant
eernstg
committed

Commits on Sep 11, 2020

Merge branch 'master' into spec_super_bounds_aug20
eernstg
authored