]> git.lizzy.rs Git - rust.git/commit
projects / rust.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(merge: 7accf6b 6c32bbf)
Merge #7996
authorbors[bot] <26634292+bors[bot]@users.noreply.github.com>
Sat, 13 Mar 2021 15:18:38 +0000 (15:18 +0000)
committerGitHub <noreply@github.com>
Sat, 13 Mar 2021 15:18:38 +0000 (15:18 +0000)
commitbcf2169e7d7c46276214cac627a70673b7676567
treef81c7438f67de3c292a233887e56c7e99bcc0a01tree | snapshot
parent7accf6bc37c059a83a58c82f463f02a02ed2226fcommit | diff
parent6c32bbf3ca5980fb33c1ea28dd1c5a1524ce81cbcommit | diff
Merge #7996

7996: Separate `Ty` and `TyKind` like in Chalk r=flodiebold a=flodiebold

Currently `Ty` just wraps `TyKind`, but this allows us to change most
places to already use `intern` / `interned`.

Co-authored-by: Florian Diebold <flodiebold@gmail.com>
Empowering everyone to build reliable and efficient software.