|
|
|
|
|
|
by Ar-Curunir
1937 days ago
|
|
|
You're talking about completeness: the borrow checker rejects some valid programs (any type system will do that). Soundness is talking about catching incorrect programs; the borrowck doesn't allow a single invalid program through. |
|
|