When we substitute into an inherited conformance, make sure that we follow the superclass chain from the new conforming type up to the matching superclass *before* doing the substitution. Fixes rdar://problem/35632543.