Stop using apply in library internals

[msullivan]

Instead, we traverse boxed mros of aliases and compute the types
of those. We'll need to add more caches probably, and think
a little bit more about what exact external APIs need to exist.

It is more-or-less renamed to flatten_type and then that now is used
by format_class._

[dnwpark]

Did some quick poking around and this used to work but no longer does:

type _Works[Ts, I] = Literal[True]
type Works[Ts] = _Works[Ts, Length[Ts]]

type _Fails[Ts, I] = Literal[False]
type Fails[Ts] = _Fails[Ts, Literal[0]]


def test_consistency_01():
    t = eval_typing(Works[tuple[int, str]])
    assert t == Literal[True]

    t = eval_typing(Fails[tuple[int, str]])
    assert t == Literal[False]

[dnwpark]

I didn't see this used anywhere?

[msullivan]

type _Works[Ts, I] = Literal[True]
type Works[Ts] = _Works[Ts, Length[Ts]]

type _Fails[Ts, I] = Literal[False]
type Fails[Ts] = _Fails[Ts, Literal[0]]


def test_consistency_01():
    t = eval_typing(Works[tuple[int, str]])
    assert t == Literal[True]

    t = eval_typing(Fails[tuple[int, str]])
    assert t == Literal[False]

Good catch