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