Crater run for lazy TAIT

[jackh726]

[jackh726]

@craterbot check name=lazy-tait-check start=734368a200904ef9c21db86c595dc04263c87be0 end=cc38176793e9e13bb7b70dde4b951d9371017662 p=1

[craterbot]

👌 Experiment lazy-tait-check created and queued.
🔍 You can check out the queue and this experiment's details.

ℹ️ Crater is a tool to run experiments across parts of the Rust ecosystem. Learn more

[craterbot]

🚧 Experiment lazy-tait-check is now running

ℹ️ Crater is a tool to run experiments across parts of the Rust ecosystem. Learn more

[oli-obk]

@craterbot cancel

[craterbot]

🚨 Error: failed to parse the command

🆘 If you have any trouble with Crater please ping @rust-lang/infra!
ℹ️ Crater is a tool to run experiments across parts of the Rust ecosystem. Learn more

[oli-obk]

@craterbot abort name=lazy-tait-check

[craterbot]

🗑️ Experiment lazy-tait-check deleted!

ℹ️ Crater is a tool to run experiments across parts of the Rust ecosystem. Learn more

[oli-obk]

Will do a crater run once I open a new PR. Reverting the breakage in #93893 right now