首先，const泛型位置中的表达式只允许在夜间编译器和启用#![feature(generic_const_exprs)]的情况下使用，但即使这样，它仍然无法完全编译。
很可能只出现在表达式中的泛型永远不会被认为是受约束的，因为对于任意表达式，所施加的约束可能是不可能的，或者很难计算。
expanded explanation for E0207对这个具体的例子没有什么帮助，因为它根本没有讨论表达式。
你仍然可以通过简单地传递第二个const泛型作为一个dummy来实现类似的东西，它直接接收impl的泛型：

#![feature(generic_const_exprs)]
trait Bar<const N: usize, const M: usize> {
}

impl<const N: usize> Bar<N, {N*N}> for () {}

// just for demonstration purposes
fn print_bars<const N: usize, const M: usize>(_: impl Bar<N, M>) {
    println!("{N} {M}");
}

fn main() {
    print_bars::<2, 4>(());
    // print_bars::<2, 2>(()); // does not compile cause obviously this is not implemented by the above
}