Update toolchain to nightly 2023-08-04#2661

Merged

adpaco-aws merged 15 commits intomodel-checking:mainfrom remi-delmas-3000:update-nightly-2023-08-02

Aug 8, 2023

+154-145

Commits on Aug 3, 2023

bump nihtly to 2023-08-03
Remi Delmas
committed
propagate refactors
Remi Delmas
committed
rewrite tctx.mk_x(...) -> Ty::new_x(tctx, ...)
Remi Delmas
committed
final fix
Remi Delmas
committed

Commits on Aug 4, 2023

format
Remi Delmas
committed
failing test with c_str_literals
Remi Delmas
committed
fix clippy warnings
Remi Delmas
committed
format
Remi Delmas
committed
fix doc warnings
Remi Delmas
committed
fix cargo doc link resolution by using urls
Remi Delmas
committed
fix error message format
Remi Delmas
committed
all tests passing
Remi Delmas
committed
restore Cargo.lock
Remi Delmas
committed

Commits on Aug 8, 2023