]> git.lizzy.rs Git - rust.git/commit
projects / rust.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(merge: f3be931 1fce415)
Rollup merge of #56214 - scalexm:unification, r=nikomatsakis
authorkennytm <kennytm@gmail.com>
Fri, 30 Nov 2018 18:31:12 +0000 (02:31 +0800)
committerkennytm <kennytm@gmail.com>
Fri, 30 Nov 2018 18:31:12 +0000 (02:31 +0800)
commita6c477152026f9b652bbca3fd1dbe13c7a47ffdf
treef7d8b25b1458f3510341df1ff85dba2a910fecf3tree | snapshot
parentf3be931ab76a9be593e7f6540eee8b7eb54c3bafcommit | diff
parent1fce415649784ecaf3bcb3a6916e10284c0affeccommit | diff
Rollup merge of #56214 - scalexm:unification, r=nikomatsakis

Implement chalk unification routines

`ResolventOps` and `AggregateOps` are mostly straightforwardly translated from chalk. I had caught a few bugs already in my `chalk` branch and backported fixes to this branch, but there may be other ones left. EDIT: I hope there are none left now :)

Fixes #54935.
src/librustc/ty/fold.rs diff1 | diff2 | blob | history
Empowering everyone to build reliable and efficient software.