]> git.lizzy.rs Git - rust.git/commit
projects / rust.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 17df455) | patch
change skolemizations to use universe index
authorSean Griffin <sean@seantheprogrammer.com>
Mon, 29 Jan 2018 20:45:12 +0000 (13:45 -0700)
committerSean Griffin <sean@seantheprogrammer.com>
Thu, 1 Mar 2018 15:04:26 +0000 (08:04 -0700)
commit755bdaa19084c3ae116ad8320b99a6932fa7f0b1
tree23c2acf77700b38149b37f9e42b194962b7f7301tree | snapshot
parent17df455c2eda9717e2d7ff2f43809b553852d7e6commit | diff
change skolemizations to use universe index

These changes were meant to be in
2b18d8fe9dc05415a8e6b7cadf879c7f7ebe020a (rebased from
12a230562ece9b0d29018a436676141054dc53b7), but I messed up the rebase a
bit as the file had been moved.
src/Cargo.lock diff | blob | history
src/librustc/infer/region_constraints/mod.rs diff | blob | history
Empowering everyone to build reliable and efficient software.