3373: Add prior art

Author: joshtriplett

text/3373-avoid-nonlocal-definitions-in-fns.md

@@ -60,6 +60,14 @@ different pattern. In particular, this pattern may occur in macro-generated
 code, or in code generated by tools like rustdoc. Making this change would
 require such code and tools to restructure to meet this requirement.
 
+# Prior art
+[prior-art]: #prior-art
+
+Other aspects of Rust's design attempt to enable local reasoning and avoid
+global reasoning, including non-inference of function signatures, and not
+having the function body affect non-opaque properties of `impl Trait` uses in
+the signature without reflecting those properties in the signature.
+
 # Unresolved questions
 [unresolved-questions]: #unresolved-questions