Support resolving non-trivial bounds from parent generic contexts

No match.