]> git.lizzy.rs Git - rust.git/commit
projects / rust.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: df8f537) | patch
add universes to type inference variables
authorSean Griffin <sean@seantheprogrammer.com>
Wed, 7 Feb 2018 17:27:42 +0000 (10:27 -0700)
committerSean Griffin <sean@seantheprogrammer.com>
Wed, 2 May 2018 13:36:09 +0000 (07:36 -0600)
commite904d56928b20b854c26447553525b6585172d89
treea2068afd6fc5ea7d7dbdd8b2878fa413a19528detree | snapshot
parentdf8f5375a6b246a4ffee3b074ec749ad95a1f430commit | diff
add universes to type inference variables

This gives each type inference variable a notion of universe but doesn't
do anything with it. We can always get the "current universe" from
infer_ctxt. This relies on the property of type variables that they can
never interact with siblings.
src/librustc/infer/combine.rs diff | blob | history
src/librustc/infer/mod.rs diff | blob | history
src/librustc/infer/type_variable.rs diff | blob | history
Empowering everyone to build reliable and efficient software.