blob: 830a07c4f5f796aa25bc461bf42914e275c7d859 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
error: evaluate(Binder { value: TraitPredicate(<Helper as HelperTrait>, polarity:Positive), bound_vars: [] }) = 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 1 previous error
|
