rust-analyzer type-checker overview by flodiebold