OK. I think the test on 577 is wrong then => `|| ety != jl_any_type` seems like it would apply to just about everything.