Record type resolution scope for unresolved super type qualifier