blob: 9d220686771ecd41d546d6ffe446567863a3ee72 [file] [log] [blame]
#![feature(const_trait_impl)]
#[const_trait]
trait Trait {}
// Regression test for issue #90052.
fn non_const_function<T: ~const Trait>() {} //~ ERROR `~const` is not allowed
struct Struct<T: ~const Trait> { field: T } //~ ERROR `~const` is not allowed here
struct TupleStruct<T: ~const Trait>(T); //~ ERROR `~const` is not allowed here
struct UnitStruct<T: ~const Trait>; //~ ERROR `~const` is not allowed here
//~^ ERROR parameter `T` is never used
enum Enum<T: ~const Trait> { Variant(T) } //~ ERROR `~const` is not allowed here
union Union<T: ~const Trait> { field: T } //~ ERROR `~const` is not allowed here
//~^ ERROR field must implement `Copy`
type Type<T: ~const Trait> = T; //~ ERROR `~const` is not allowed here
const CONSTANT<T: ~const Trait>: () = (); //~ ERROR `~const` is not allowed here
//~^ ERROR generic const items are experimental
trait NonConstTrait {
type Type<T: ~const Trait>: ~const Trait;
//~^ ERROR `~const` is not allowed
//~| ERROR `~const` is not allowed
fn non_const_function<T: ~const Trait>(); //~ ERROR `~const` is not allowed
const CONSTANT<T: ~const Trait>: (); //~ ERROR `~const` is not allowed
//~^ ERROR generic const items are experimental
}
impl NonConstTrait for () {
type Type<T: ~const Trait> = (); //~ ERROR `~const` is not allowed
//~^ ERROR overflow evaluating the requirement `(): Trait`
fn non_const_function<T: ~const Trait>() {} //~ ERROR `~const` is not allowed
const CONSTANT<T: ~const Trait>: () = (); //~ ERROR `~const` is not allowed
//~^ ERROR generic const items are experimental
}
struct Implementor;
impl Implementor {
type Type<T: ~const Trait> = (); //~ ERROR `~const` is not allowed
//~^ ERROR inherent associated types are unstable
fn non_const_function<T: ~const Trait>() {} //~ ERROR `~const` is not allowed
const CONSTANT<T: ~const Trait>: () = (); //~ ERROR `~const` is not allowed
//~^ ERROR generic const items are experimental
}
// non-const traits
trait Child0: ~const Trait {} //~ ERROR `~const` is not allowed
trait Child1 where Self: ~const Trait {} //~ ERROR `~const` is not allowed
// non-const impl
impl<T: ~const Trait> Trait for T {} //~ ERROR `~const` is not allowed
// inherent impl (regression test for issue #117004)
impl<T: ~const Trait> Struct<T> {} //~ ERROR `~const` is not allowed
fn main() {}