tests
Fix pretty-printing for bounded closures. Close #7333.
Add a run-pass test for existential traits in ARCs.