Add a run-pass test for existential traits in ARCs.