tests/ui/traits/const-traits/dont-prefer-param-env-for-infer-self-ty.rs

//@ check-pass

#![feature(const_trait_impl)]

#[const_trait]
trait Foo {}

impl<T> const Foo for (T,) where T: [const] Foo {}

const fn needs_const_foo(_: impl [const] Foo + Copy) {}

const fn test<T: [const] Foo + Copy>(t: T) {
    needs_const_foo((t,));
}

fn main() {}