]> git.lizzy.rs Git - rust.git/commit
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)
commit3c145ff283bf24efe499bbf37327fbc3fbc28a07
tree5d107cbbe43f1f94b6858f79a1ed774fd347d235
parent70a665a005857a4a44922a4bc3eb29e80e2b941a
parentf74ca88384cbce7e318a7a0142a9ac3eda6b8641
Rollup merge of #107168 - Nilstrieb:if-a-tait-falls-in-the-forest,can-we-know-it-wasnt-revealed, r=oli-obk

Use a type-alias-impl-trait in `ObligationForest`