I'm trying to come up with the type bounds that are necessary for a highly generic function. Usually, I rely on the compiler error messages to tell me what bounds are missing, but it's replacing part of the type with _
, even with cargo build --verbose
.
error[E0277]: the trait bound `&FilterRel<RelProxy<&R>, _>: IntoIterator` is not satisfied
--> src/relation/peerjoin.rs:69:22
|
69 | .where_eq(key).iter_all()
| ^^^^^^^^ the trait `IntoIterator` is not implemented for `&FilterRel<RelProxy<&R>, _>`
|
= help: the following implementations were found:
<&'a FilterRel<R, F> as IntoIterator>
= note: required because of the requirements on the impl of `RealizedQuery<'_, <R as RelationImpl>::Cols>` for `&FilterRel<RelProxy<&R>, _>`
= note: required because of the requirements on the impl of `SelfQuery<'_>` for `FilterRel<RelProxy<&R>, _>`
= note: required because of the requirements on the impl of `Relation<'_>` for `FilterRel<RelProxy<&R>, _>`
Is there some way I can supress this behavior to get the full type name that needs to be constrained?