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