Actually use TAIT instead of emulating it#125362

Merged

bors merged 2 commits intorust-lang:masterfrom joboet:tait_hack

May 24, 2024

+44-117

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