https://medium.com/@andrew_johnson_4/learning-advanced-rust-concepts-by-reading-the-compiler-source-hir-analysis-well-formed-check-c3c200979fa
