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