WIP prune implicit searches for types with non-conformant bounds