src/test/ui/traits/project-modulo-regions.without_clause.stderr

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