//@ aux-build:implied-predicates.rs
//@ check-pass
extern crate implied_predicates;
use implied_predicates::Bar;
fn bar<B: Bar>() {}
fn main() {}