handle break in while(true) for #678
assert (false) and definite assignment for #677
remove stuff about legacy archives for #195
recommendation for #194
disallow, for now, invocations where type arg inference results in
an unknown type (force explicit specification of type args) #604
fix a couple of holes in the handling of unknown types
allow of operator on things with unknown type
disallow sequence/iterable instantiation with unknown element type
finally some tests for dynamic in the typechecker
extra test
handle exception and produce error for illegal code point
initial support for nonempty variadic parameters #605
update tests after changes to lang module
another test
attempt to solve #596 by limiting occurrences of type in its supertypes
disallow aliases as supertype arguments ugly fix for #596
New fix for #580, prevent intersections in args to invariant supertypes
handle aliases properly for #596
delay checks for undecidable supertypes until AliasVisitor for #596
doc