Type signatures in Finalize
Type signatures in Finalize

Finalize is currently broken and needs a fix-me-up to identify null
pointers now that I took out the CFG edge hack.  This is more suited
to a lower-level analysis that it can call down to since the
information is also required by the nullability analysis.

travitch/foreign-inference,travitch/foreign-inference