error[E0277]: the trait bound `::R: ToInt` is not satisfied --> $DIR/associated-types-bound-failure.rs:19:19 | LL | ToInt::to_int(&g.get()) | ------------- ^^^^^^^^ the trait `ToInt` is not implemented for `::R` | | | required by a bound introduced by this call | help: consider further restricting the associated type | LL | where G : GetToInt, ::R: ToInt | +++++++++++++++++++++++++++ error: aborting due to previous error For more information about this error, try `rustc --explain E0277`.