Michael Goulet 5f3ae06db0 Fix some var names		2025-05-27 11:14:47 +00:00
..
env.rs	…
for_liveness.rs	Require T: TypeFoldable in Binder<T> visit	2025-05-07 16:00:21 +00:00
mod.rs	…
obligations.rs	Fix some var names	2025-05-27 11:14:47 +00:00
test_type_match.rs	…
verify.rs	…