aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorbors[bot] <26634292+bors[bot]@users.noreply.github.com>2021-03-22 12:08:25 +0000
committerGitHub <[email protected]>2021-03-22 12:08:25 +0000
commit6f1f91cdcfc03e2a49cc66b76caff645f8b33d42 (patch)
treeefcde2674a32e359c03c74b4d5eebd1071b4f88b
parentad39959361f32551ab788126b0a5b8b4b09138ef (diff)
parent1d5c4a77fb33cab7bf8f9d2edc6dd26b09ef65f3 (diff)
parent79b4c89b8959fe62ba31962dd4ec7609127970de (diff)
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 <[email protected]> Co-authored-by: Aleksey Kladov <[email protected]>