Looser restrictions on what can be captured in unbounded traits.
Make closure contents call out to trait_contents.
Looser restrictions on what can be captured in unbounded heap closures.
Fix pretty-printing for bounded closures. Close #7333.