Matthias Krüger 3c145ff283

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`

2023-01-26 15:02:21 +01:00

..

src

Rollup merge of #107168 - Nilstrieb:if-a-tait-falls-in-the-forest,can-we-know-it-wasnt-revealed, r=oli-obk

2023-01-26 15:02:21 +01:00

Cargo.toml

Bump cfg-if to 1.0

2022-12-20 13:03:45 +00:00