]> git.lizzy.rs Git - rust.git/commit
projects / rust.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f419077) | patch
remove the sub/super terminology for universes
authorNiko Matsakis <niko@alum.mit.edu>
Mon, 8 Oct 2018 11:17:36 +0000 (07:17 -0400)
committerNiko Matsakis <niko@alum.mit.edu>
Mon, 15 Oct 2018 15:42:07 +0000 (11:42 -0400)
commit05f67ca1a27a9e69cd99d540a0241759b83cc1bd
tree22604c02aafae4ac00de9c8ba9c99e9370e8a308tree | snapshot
parentf4190778119383fa15758030cbf038e276a095f6commit | diff
remove the sub/super terminology for universes

Instead, we talk about:

- creating the "next" universe
- universes "extending" one another
- and `u1.can_name(u2)`, meaning that `u1` contains all names from `u2`
src/librustc/infer/higher_ranked/mod.rs diff | blob | history
src/librustc/infer/mod.rs diff | blob | history
src/librustc/ty/mod.rs diff | blob | history
src/librustc_mir/borrow_check/nll/region_infer/mod.rs diff | blob | history
src/librustc_mir/borrow_check/nll/region_infer/values.rs diff | blob | history
src/librustc_mir/borrow_check/nll/type_check/relate_tys.rs diff | blob | history
Empowering everyone to build reliable and efficient software.