tests/ui/rfcs/rfc-2632-const-trait-impl/ice-123664-unexpected-bound-var.rs

#![allow(incomplete_features)]
#![feature(generic_const_exprs, const_trait_impl, effects)]

const fn with_positive<F: ~const Fn()>() {}
//~^ ERROR `~const` can only be applied to `#[const_trait]` traits

pub fn main() {}