1 error: evaluate(Binder(TraitPredicate(<Helper as HelperTrait>, polarity:Positive), [])) = Ok(EvaluatedToOk)
2 --> $DIR/project-modulo-regions.rs:50:5
4 LL | fn test(val: MyStruct) where Helper: HelperTrait {
5 | ----------- predicate
10 error: aborting due to previous error