Tait must be constrained if in sig#113169

Merged

bors merged 3 commits intorust-lang:masterfrom

oli-obk:tait_must_be_constrained_if_in_sig

Jun 12, 2024

Commits on Jun 12, 2024

Revert "Rollup merge of #125362 - joboet:tait_hack, r=Nilstrieb"
oli-obk
committed
Require any function with a tait in its signature to actually constrain a hidden type
oli-obk
committed
Add a `fn main() {}` to a doctest to prevent the test from being wrapped in a `fn main() {}` body
oli-obk
committed