I’m writing a paper for the Human Aspects of Types and Reasoning Assistants workshop (https://2020.splashcon.org/home/hatra-2020#Call-for-Papers) about what makes ownership in Rust challenging to use. For example, how incompleteness of static analysis makes it hard to interpret type errors as the fault of the user or the compiler. I’d love to get feedback on: • Does the process of interpreting a type error make sense? Does it ring true to your own experience (in Rust or other languages?) • Did you learn something new? Does this paper help you understand/frame the usability challenges about Rust specifically, or potentially a different language?