We were only resolving unbound variability for the top-level type, which isn't enough if we have e.g. an unbound-variability pointer pointing to some type with unbound variability.
86 KiB
86 KiB