aboutsummaryrefslogtreecommitdiff
path: root/crates/hir_def/src/body
diff options
context:
space:
mode:
authorbors[bot] <26634292+bors[bot]@users.noreply.github.com>2021-04-06 22:49:10 +0100
committerGitHub <[email protected]>2021-04-06 22:49:10 +0100
commitfcb22a674df4728742a865dda76ce65f0f9205b1 (patch)
tree9131d26bacbda364c81ad0ace9d4428b0d8e3c33 /crates/hir_def/src/body
parent31d2b3b9cb75a09c93655b38377ed5f4144ebaf0 (diff)
parentb03969cda92661ad67897fee0ba16c1cc61830ea (diff)
Merge #8387
8387: Remove `SolutionVariables`, add ConstrainedSubst analogous to Chalk r=flodiebold a=flodiebold ... just missing the constraints. Co-authored-by: Florian Diebold <[email protected]>
Diffstat (limited to 'crates/hir_def/src/body')
0 files changed, 0 insertions, 0 deletions