Month 2-The Type System: Lifetimes, Traits, Smart Pointers, Drop

Goal: by the end of week 8 you can (a) write a function with higher-ranked trait bounds and explain why the bound is HRT, (b) predict from a type signature whether Box<T> or Rc<RefCell<T>> is appropriate, (c) design a public API that uses sealed traits to forbid downstream implementors, and (d) read and reason about variance.

---

Weeks

• Week 5 - Advanced Lifetimes, Variance, and HRTBs
• Week 6 - Traits, Coherence, and Monomorphization
• Week 7 - Smart Pointers and Interior Mutability
• Week 8 - Drop, the Drop Checker, and Destructor Discipline

Comments