diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-03-22 12:08:25 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-03-22 12:08:25 +0000 |
| commit | 6f1f91cdcfc03e2a49cc66b76caff645f8b33d42 (patch) | |
| tree | efcde2674a32e359c03c74b4d5eebd1071b4f88b /docs | |
| parent | ad39959361f32551ab788126b0a5b8b4b09138ef (diff) | |
| parent | 1d5c4a77fb33cab7bf8f9d2edc6dd26b09ef65f3 (diff) | |
| parent | 79b4c89b8959fe62ba31962dd4ec7609127970de (diff) | |
| download | rust-6f1f91cdcfc03e2a49cc66b76caff645f8b33d42.tar.gz rust-6f1f91cdcfc03e2a49cc66b76caff645f8b33d42.zip | |
Merge #8136 #8146
8136: Introduce QuantifiedWhereClause and DynTy analogous to Chalk r=flodiebold a=flodiebold This introduces a bunch of new binders in lots of places, which we have to be careful about, but we had to add them at some point. There's a lot of skipping of the binders; once we're done with the Chalk move, we should review the remaining ones. 8146: Document patch policy r=matklad a=matklad bors r+ 🤖 Co-authored-by: Florian Diebold <flodiebold@gmail.com> Co-authored-by: Aleksey Kladov <aleksey.kladov@gmail.com>