public boolean isCaptureOf(Type s, WildcardType t) {
        if (s.tag != TYPEVAR || !(s instanceof CapturedType))
            return false;
        return isSameWildcard(t, ((CapturedType)s).wildcard);
    }