#![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() {}