Make well-formedness predicates no longer coinductive#140208
Merged
bors merged 2 commits intorust-lang:masterfrom May 17, 2025
Merged
Make well-formedness predicates no longer coinductive#140208bors merged 2 commits intorust-lang:masterfrom
bors merged 2 commits intorust-lang:masterfrom
Commits
Commits on Apr 29, 2025
- committed
- committed
