Add #[default_method_body_is_const]#86857
Merged
bors merged 12 commits intorust-lang:masterfrom Jul 13, 2021
Commits
Commits on Jul 10, 2021
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
