1 error[E0107]: this function takes 2 generic arguments but 1 generic argument was supplied
2 --> $DIR/issue-76595.rs:15:5
5 | ^^^^ - supplied 1 generic argument
7 | expected 2 generic arguments
9 note: function defined here, with 2 generic parameters: `T`, `P`
10 --> $DIR/issue-76595.rs:10:4
12 LL | fn test<T, const P: usize>() where Bool<{core::mem::size_of::<T>() > 4}>: True {
14 help: add missing generic argument
19 error: aborting due to previous error
21 For more information about this error, try `rustc --explain E0107`.