diff options
| author | Niko Matsakis <niko@alum.mit.edu> | 2018-10-08 07:17:36 -0400 |
|---|---|---|
| committer | Niko Matsakis <niko@alum.mit.edu> | 2018-10-15 11:42:07 -0400 |
| commit | 05f67ca1a27a9e69cd99d540a0241759b83cc1bd (patch) | |
| tree | 22604c02aafae4ac00de9c8ba9c99e9370e8a308 /src/rustllvm/ArchiveWrapper.cpp | |
| parent | f4190778119383fa15758030cbf038e276a095f6 (diff) | |
| download | rust-05f67ca1a27a9e69cd99d540a0241759b83cc1bd.tar.gz rust-05f67ca1a27a9e69cd99d540a0241759b83cc1bd.zip | |
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`
Diffstat (limited to 'src/rustllvm/ArchiveWrapper.cpp')
0 files changed, 0 insertions, 0 deletions