Actually use TAIT instead of emulating it#125362

Merged

bors merged 2 commits intorust-lang:masterfrom

joboet:tait_hack

May 24, 2024

Commits on May 21, 2024

core: actually use TAIT instead of emulating it
joboet
committed

Commits on May 23, 2024

core: use `Copy` in TAIT to fix clippy lint
joboet
committed