Member predicate Impl::Trait::getATypeBound

Gets a type bound of this trait.

This includes type bounds directly on the trait and bounds from any where clauses for Self.