- 01 11月, 2018 1 次提交
-
-
由 Niko Matsakis 提交于
Account for incompatible universes and higher-ranked subtyping.
-
- 27 10月, 2018 1 次提交
-
-
由 Niko Matsakis 提交于
The idea here is that an incoming query may refer to some universes, and they query response may contain fresh universes that go beyond those. When we instantiate the query response in the caller's scope, therefore, we map those new universes into fresh universes for the caller.
-
- 25 10月, 2018 2 次提交
-
-
由 Oliver Schneider 提交于
-
由 Niko Matsakis 提交于
Lots of annoying boilerplate.
-
- 24 10月, 2018 3 次提交
-
-
由 Masaki Hara 提交于
-
由 Vadim Petrochenkov 提交于
-
由 Vadim Petrochenkov 提交于
-
- 22 10月, 2018 1 次提交
-
-
由 Niko Matsakis 提交于
-
- 21 10月, 2018 2 次提交
-
-
由 Fabian Drinck 提交于
-
由 Fabian Drinck 提交于
-
- 20 10月, 2018 1 次提交
-
-
由 csmoe 提交于
-
- 19 10月, 2018 2 次提交
-
-
由 Oliver Scherer 提交于
-
由 Oliver Scherer 提交于
-
- 15 10月, 2018 3 次提交
-
-
由 Niko Matsakis 提交于
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`
-
由 Niko Matsakis 提交于
-
由 Niko Matsakis 提交于
The only name was silly. U1 can contain everything from U0 *plus* more things.
-
- 14 10月, 2018 1 次提交
-
-
由 Vadim Petrochenkov 提交于
-
- 04 10月, 2018 3 次提交
-
-
由 Niko Matsakis 提交于
-
由 Niko Matsakis 提交于
-
由 Niko Matsakis 提交于
-
- 03 10月, 2018 5 次提交
-
-
由 scalexm 提交于
-
由 Oliver Schneider 提交于
-
由 ljedrz 提交于
-
由 ljedrz 提交于
-
由 ljedrz 提交于
-
- 01 10月, 2018 1 次提交
-
-
由 David Wood 提交于
This commit introduces language items for `Arc` and `Rc` so that types can later be checked to be `Arc` or `Rc` in the NLL borrow checker. The `lang` attribute is currently limited to `stage1` as it requires a compiler built with knowledge of the expected language items.
-
- 30 9月, 2018 1 次提交
-
-
由 Zack M. Davis 提交于
This seemed like a good way to kick the tires on the elided-lifetimes-in-paths lint (#52069)—seems to work! This was also pretty tedious—it sure would be nice if `cargo fix` worked on this codebase (#53896)!
-
- 28 9月, 2018 1 次提交
-
-
由 Eduard-Mihai Burtescu 提交于
-
- 23 9月, 2018 1 次提交
-
-
由 Ariel Ben-Yehuda 提交于
During metadata loading, the AdtDefs for every ADT in the universe need to be loaded (for example, for coherence of builtin traits). For that, the attributes of the AdtDef need to be loaded too. The attributes of a struct are duplicated between 2 def ids - the constructor def-id, and the "type" def id. Loading attributes for both def-ids, which was done in #53721, slowed the compilation of small crates by 2-3%. This PR makes sure we only load the attributes for the "type" def-id, avoiding the slowdown.
-
- 20 9月, 2018 1 次提交
-
-
由 Scott McMurray 提交于
-
- 13 9月, 2018 2 次提交
-
-
由 David Wood 提交于
-
由 F001 提交于
-
- 06 9月, 2018 1 次提交
-
-
由 ms2300 提交于
-
- 02 9月, 2018 1 次提交
-
-
由 Ariel Ben-Yehuda 提交于
This completely splits the IS_NON_EXHAUSTIVE flag. No functional changes intended.
-
- 28 8月, 2018 3 次提交
- 26 8月, 2018 1 次提交
-
-
由 Ariel Ben-Yehuda 提交于
Structs and enums can both be non-exhaustive, with a very different meaning. This PR splits `is_non_exhaustive` to 2 separate functions - 1 for structs, and another for enums, and fixes the places that got the usage confused. Fixes #53549.
-
- 23 8月, 2018 1 次提交
-
-
由 Igor Gutorov 提交于
-
- 22 8月, 2018 1 次提交
-
-
由 varkor 提交于
-