Tests that phis with check-cast reference type inputs are typed.