21 lines
666 B
Rust
21 lines
666 B
Rust
//@ revisions: stock gated
|
|
//@[gated] check-pass
|
|
// gate-test-const_trait_impl
|
|
|
|
#![cfg_attr(gated, feature(const_trait_impl))]
|
|
|
|
struct S;
|
|
#[const_trait] //[stock]~ ERROR `const_trait` is a temporary placeholder
|
|
trait T {}
|
|
impl const T for S {}
|
|
//[stock]~^ ERROR const trait impls are experimental
|
|
|
|
const fn f<A: ~const T>() {} //[stock]~ ERROR const trait impls are experimental
|
|
fn g<A: const T>() {} //[stock]~ ERROR const trait impls are experimental
|
|
|
|
macro_rules! discard { ($ty:ty) => {} }
|
|
|
|
discard! { impl ~const T } //[stock]~ ERROR const trait impls are experimental
|
|
discard! { impl const T } //[stock]~ ERROR const trait impls are experimental
|
|
|
|
fn main() {}
|