Support resolving non-trivial bounds from parent generic contexts