raw substitutor when erasure happened during inference
new inference: processing of compound bounds
IDEA-121400