rust/tests/ui/const-generics/opaque_types2.rs

#![feature(type_alias_impl_trait)]

type Foo = impl Sized;

fn foo<const C: u32>() {}

const C: Foo = 42;

fn bar()
where
    Foo:,
{
    foo::<C>();
    //~^ ERROR: mismatched types
}

fn main() {}