Require `#[const_trait]` on `Trait` for `impl const Trait` r? `@oli-obk`
For more information about how rustc works, see the rustc dev guide.
