[toolchain]
channel = "nightly-2022-04-03"
components = ["miri"]