[toolchain]
channel = "nightly-2023-07-14"
components = [ "rust-src" ]
profile = "default"