https://medium.com/@andrew_johnson_4/learning-advanced-rust-concepts-by-reading-the-compiler-source-type-inference-blame-tracking-42a9dd9a1028
