]> git.lizzy.rs Git - rust.git/commitdiff
projects / rust.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 70a665a f74ca88)
Rollup merge of #107168 - Nilstrieb:if-a-tait-falls-in-the-forest,can-we-know-it...
authorMatthias Krüger <matthias.krueger@famsik.de>
Thu, 26 Jan 2023 14:02:21 +0000 (15:02 +0100)
committerGitHub <noreply@github.com>
Thu, 26 Jan 2023 14:02:21 +0000 (15:02 +0100)
Use a type-alias-impl-trait in `ObligationForest`


Trivial merge
Empowering everyone to build reliable and efficient software.