"borrow checker invariants" section of the "leveraging the type system" chapter#2867

Open

tall-vase wants to merge 34 commits intogoogle:mainfrom

tall-vase:idiomatic/typesystem-borrowchecker

Commits on Aug 27, 2025

Commits on Sep 1, 2025

Begin expanding the slide notes, rename the external resources section to lifetime connections
tall-vase
committed
Get this section into a 'review ready' state.
tall-vase
committed
Reset all minutes on the borrowck invariants section to 0
tall-vase
committed

Commits on Sep 8, 2025

General editing pass based off feedback
tall-vase
committed

Commits on Sep 9, 2025

Minor editing
tall-vase
committed

Commits on Sep 11, 2025

Commits on Sep 15, 2025

Another editing pass
tall-vase
committed

Commits on Sep 22, 2025

Commits on Sep 24, 2025

fix test errors, make sure compilation succeeds after erroneous lines are commented out.
tall-vase
committed
Address lints
tall-vase
committed
Address lints
tall-vase
committed

Commits on Oct 10, 2025

Apply suggestions from code review

tall-vase
and
gribozavr
authored
Partially address feedback
tall-vase
committed
Add TODO
tall-vase
committed
Formatting pass
tall-vase
committed

Commits on Oct 13, 2025

Apply suggestions from code review

tall-vase
and
gribozavr
authored
Further address feedback and implement the phantomdata slide
tall-vase
committed

Commits on Oct 21, 2025

Apply suggestions from code review

tall-vase
and
gribozavr
authored

Commits on Oct 23, 2025

Make some comments doc comments

tall-vase
and
gribozavr
authored

Commits on Oct 29, 2025

Address latest structural feedback
tall-vase
committed
Merge branch 'main' into idiomatic/typesystem-borrowchecker
tall-vase
authored
Remove compile_fail marker
tall-vase
committed

Commits on Oct 31, 2025

Apply suggestions from code review

tall-vase
and
gribozavr
authored

Commits on Nov 3, 2025

Address structure from last round of feedback
tall-vase
committed
Editing pass + borrowedfd slide
tall-vase
committed
Make sure the phantomdata-03 instructor changes work
tall-vase
committed
Another editing pass
tall-vase
committed

Commits on Nov 4, 2025

Minor rephrasing
tall-vase
committed

Commits on Nov 6, 2025

Apply suggestions from code review

tall-vase
and
gribozavr
authored

Commits on Nov 7, 2025

Format, add a demonstration call to the 2nd phantomdata slide, rework the 4th phantomdata slide to have an explicit implementation of Owned/BorrowedFd
tall-vase
committed