[toolchain]
channel = "nightly-2023-02-13"
components = ['rust-src', 'clippy', 'rustfmt', 'miri']