diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-02-28 19:16:51 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2021-02-28 19:16:51 +0000 |
commit | 2fc137b70f9d455676cc99a1a5c7e6e10c3e7cc2 (patch) | |
tree | b9bc6434404e99a0829d01b08285d37f6faa3d2d /.github/FUNDING.yml | |
parent | 0a913fd11194faff9c0100bc78f2d4fe682075aa (diff) | |
parent | faf2dd49e4845e1437b704a28bb5603be5fd605b (diff) |
Merge #7813
7813: Inline TypeCtor into Ty r=flodiebold a=Veykril
This removes the `ApplicationTy` variant from `Ty` bringing the representation a lot closer to chalk's `TyKind`.
Co-authored-by: Lukas Wirth <[email protected]>
Diffstat (limited to '.github/FUNDING.yml')
0 files changed, 0 insertions, 0 deletions