error[E0277]: the trait bound `Assert<false>: IsTrue` is not satisfied
--> tests/ui/compile_fail/multi_instance_min_zero.rs:8:16
|
8 | let _bad = MultipleInstanceSpecConst::<0, 5>::new();
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `IsTrue` is not implemented for `Assert<false>`
|
help: the trait `IsTrue` is implemented for `Assert<true>`
--> $WASM4PM_COMPAT/src/law.rs
|
| impl IsTrue for Assert<true> {}
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
note: required by a bound in `MultipleInstanceSpecConst`
--> $WASM4PM_COMPAT/src/petri.rs
|
| pub struct MultipleInstanceSpecConst<const MIN: u32, const MAX: u32>
| ------------------------- required by a bound in this struct
| where
| crate::law::Require<{ MIN >= 1 }>: crate::law::IsTrue,
| ^^^^^^^^^^^^^^^^^^ required by this bound in `MultipleInstanceSpecConst`
error[E0599]: the associated function or constant `new` exists for struct `MultipleInstanceSpecConst<0, 5>`, but its trait bounds were not satisfied
--> tests/ui/compile_fail/multi_instance_min_zero.rs:8:51
|
8 | let _bad = MultipleInstanceSpecConst::<0, 5>::new();
| ^^^ associated function or constant cannot be called on `MultipleInstanceSpecConst<0, 5>` due to unsatisfied trait bounds
|
::: $WASM4PM_COMPAT/src/law.rs
|
| pub struct Assert<const OK: bool>;
| --------------------------------- doesn't satisfy `Assert<false>: IsTrue`
|
= note: the following trait bounds were not satisfied:
`Assert<false>: IsTrue`