We would misreport a cast from G<T> to G<Int> or vice versa as always failing, because we were checking for an exact subtype relationship instead of archetype binding. Fixes <https://bugs.swift.org/browse/SR-3609>.