- GraphBuilder::null_check, Canonicalizer::do_NullCheck and Canonicalizer::do_InstanceOf should check for NewInlineTypeInstance
- Canonicalizer::do_If should check for NewInlineTypeInstance in the rt == objectNull branch
- We should make use of the fact that check cast now also checks for null and that inline types are null-free
- We should evaluate if NullCheckEliminator should be extended to handle inline types