tests/ui/rfcs/rfc-2632-const-trait-impl/const-impl-requires-const-trait.rs


1
2
3
4
5
6
7
8
9
10
11

// known-bug: #110395

#![feature(const_trait_impl, effects)]

pub trait A {}
// FIXME ~^ HELP: mark `A` as const

impl const A for () {}
// FIXME ~^ ERROR: const `impl` for trait `A` which is not marked with `#[const_trait]`

fn main() {}