This post presents a model of Rust's borrow checker for field projections, focusing on how it tracks place expressions through initialization and loan states (Uninit, Init, Shared, Exclusive, Mixed, Parent). The author explains borrow checker operations on basic pointers like &T, &mut T, and Box<T>, mapping them to trait-based abstractions for reading, writing, and borrowing places.