1 error: unconstrained generic constant
2 --> $DIR/unify-op-with-fn-call.rs:28:12
4 LL | bar2::<{ std::ops::Add::add(N, N) }>();
5 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
7 = help: try adding a `where` bound using this expression: `where [(); { std::ops::Add::add(N, N) }]:`
9 error: aborting due to previous error