Camille GILLOT
36b6630771
Move stability queries to librustc_passes.
...
Contains:
- check_mod_unstable_api_usage query;
- stability_index query;
- check_unused_or_stable features pass.
2020-01-01 14:15:02 +01:00
Camille GILLOT
eca7797d6b
Move stability.rs to librustc_passes.
2020-01-01 13:28:12 +01:00
Vadim Petrochenkov
70f1d57048
Rename syntax_pos
to rustc_span
in source code
2020-01-01 09:15:18 +03:00
Dylan DPC
83f5cf8c4d
Rollup merge of #67697 - cjgillot:passes-scope-tree, r=Zoxc
...
Move the region_scope_tree query to librustc_passes.
Split out of #67688 .
r? @Zoxc
2019-12-31 18:14:03 +05:30
Vadim Petrochenkov
b9a9c5b4fd
Make things build again
2019-12-30 19:18:16 +03:00
Camille GILLOT
176efc4323
Inert doc comments.
2019-12-30 11:45:59 +01:00
Camille GILLOT
afcd5c16b7
Move region_scope_tree query to librustc_passes.
2019-12-30 11:45:57 +01:00
Camille GILLOT
ca5a10f53e
Move region.rs to librustc_passes.
2019-12-30 11:39:14 +01:00
Yuki Okushi
88e322c4f1
Rollup merge of #67698 - cjgillot:passes-first, r=Zoxc
...
Move reachable_set and diagnostic_items to librustc_passes.
Split out of #67688
r? @Zoxc
2019-12-30 14:07:55 +09:00
Camille GILLOT
57681628f9
Move get_lib_features query in librustc_passes.
2019-12-29 16:18:05 +01:00
Camille GILLOT
ec3a9f64f1
Move lib_features.rs in librustc_passes.
2019-12-29 16:17:35 +01:00
Camille GILLOT
fd4d50d442
Move diagnostic_items queries to librustc_passes.
2019-12-29 10:45:20 +01:00
Camille GILLOT
2a14d16583
Move diagnostic_items.rs to librustc_passes.
2019-12-29 10:45:08 +01:00
Camille GILLOT
4922310a3b
Move reachable_set query in librustc_passes.
2019-12-29 10:45:00 +01:00
Camille GILLOT
2e7dbb42c7
Move reachable.rs to librustc_passes.
2019-12-29 10:44:52 +01:00
Camille GILLOT
36f95ab3fa
Fallout in other crates.
2019-12-27 19:20:28 +01:00
Camille GILLOT
8284035372
Fallout in other crates.
2019-12-26 23:38:46 +01:00
bors
3e0a1c0910
Auto merge of #67592 - matthewjasper:cleanup-match, r=Centril
...
Prepare for lowering or-patterns
This is probably best reviewed commit-by-commit.
* Rustfmt `rustc_mir::build::{self, matches}`
* Remove `-Znll-dont-emit-read-for-match`
* Split `match_expr` into smaller functions
* Feature gate or-patterns in const contexts
cc https://github.com/rust-lang/rust/issues/54883
r? @Centril
2019-12-26 16:44:52 +00:00
Matthew Jasper
f1758a043f
Feature gate or patterns in const contexts
2019-12-25 09:13:15 +00:00
Esteban Küber
66ea471f9d
Handle more specific case E0222
2019-12-24 22:10:15 -08:00
Mark Rousskov
6891388e66
x.py fmt after previous deignore
2019-12-24 17:38:22 -05:00
varkor
35979a92bf
Add span information to ExprKind::Assign
2019-12-23 11:20:13 +00:00
varkor
a5991c57cf
Add the full issue reference to equality constraints in where
clauses
2019-12-23 11:15:55 +00:00
Mark Rousskov
a06baa56b9
Format the world
2019-12-22 17:42:47 -05:00
Camille GILLOT
9694ab9e18
Use Arena inside hir::Body.
2019-12-21 23:39:19 +01:00
Camille GILLOT
42c03e4bb4
Use Arena inside hir::Mod.
2019-12-21 23:34:34 +01:00
Camille GILLOT
e2526120f2
Use Arena inside hir::StructField.
2019-12-21 23:33:42 +01:00
Camille GILLOT
4f1c88be46
Use Arena inside hir::EnumDef.
2019-12-21 23:32:42 +01:00
Camille GILLOT
5fec1ca0ff
Use Arena inside hir::ImplItem.
2019-12-21 23:31:47 +01:00
Camille GILLOT
0f7d77363b
Use Arena inside hir::TraitItem.
2019-12-21 23:30:52 +01:00
Camille GILLOT
acf33f2d6b
Use Arena inside hir::ForeignItem.
2019-12-21 23:29:27 +01:00
Camille GILLOT
abbe6259e1
Handle Attributes in arena.
2019-12-21 23:20:09 +01:00
Camille GILLOT
084e6722f9
Use Arena inside hir::Item.
2019-12-21 23:17:29 +01:00
Camille GILLOT
4dc79f1f7d
Use Arena inside hir::Crate.
2019-12-21 23:12:44 +01:00
Mazdak Farrokhzad
a7aec3f207
1. ast::Mutability::{Mutable -> Mut, Immutable -> Not}.
...
2. mir::Mutability -> ast::Mutability.
2019-12-20 22:22:44 +01:00
Mazdak Farrokhzad
ec82174fad
Rollup merge of #67131 - Centril:item-merge, r=petrochenkov
...
Merge `TraitItem` & `ImplItem into `AssocItem`
In this PR we:
- Merge `{Trait,Impl}Item{Kind?}` into `AssocItem{Kind?}` as discussed in https://github.com/rust-lang/rust/issues/65041#issuecomment-538105286 .
- This is done by using the cover grammar of both forms.
- In particular, it requires that we syntactically allow (under `#[cfg(FALSE)]`):
- `default`ness on `trait` items,
- `impl` items without a body / definition (`const`, `type`, and `fn`),
- and associated `type`s in `impl`s with bounds, e.g., `type Foo: Ord;`.
- The syntactic restrictions are replaced by semantic ones in `ast_validation`.
- Move syntactic restrictions around C-variadic parameters from the parser into `ast_validation`:
- `fn`s in all contexts now syntactically allow `...`,
- `...` can occur anywhere in the list syntactically (`fn foo(..., x: usize) {}`),
- and `...` can be the sole parameter (`fn foo(...) {}`.
r? @petrochenkov
2019-12-20 17:22:19 +01:00
Dylan MacKenzie
34ce0ba919
Use better name for local containing required feature gates
2019-12-13 10:39:15 -08:00
Dylan MacKenzie
80581be2c0
Replace Index
impl with enabled
method
2019-12-13 10:39:15 -08:00
Dylan MacKenzie
2b5ae1cb06
Apply suggestions from review
2019-12-13 10:39:14 -08:00
Dylan MacKenzie
a8e997c819
Improve comment
2019-12-13 10:39:14 -08:00
Dylan MacKenzie
ee233c07c6
Restructue HIR const-checker to handle features with multiple gates
2019-12-13 10:38:29 -08:00
Mazdak Farrokhzad
e52f902a8a
AssocImplKind::{Method -> Fn}
.
2019-12-12 18:05:05 +01:00
Mazdak Farrokhzad
abf2e7aa95
Remove ast::{Impl,Trait}{Item,ItemKind}
.
2019-12-12 18:05:05 +01:00
Mazdak Farrokhzad
35e9e097e7
More c-variadic errors as semantic restrictions.
2019-12-12 18:01:33 +01:00
Mazdak Farrokhzad
3a57a2cca4
ast_validation
: move trait item logic to proper place.
2019-12-12 18:01:33 +01:00
Mazdak Farrokhzad
0d41d0fe14
Move allow_c_varadic
logic to ast_validation
.
2019-12-12 18:01:33 +01:00
Mazdak Farrokhzad
b499a88dfc
Unify assoc item visitors more.
2019-12-12 18:01:33 +01:00
Mazdak Farrokhzad
0d8a9d74e3
Unify associated item visitor.
2019-12-12 18:00:00 +01:00
Mazdak Farrokhzad
34d91709b6
parse: refactor fun ret ty & param ty
2019-12-12 17:54:49 +01:00
Mazdak Farrokhzad
39073767a4
Unify {Trait,Impl}ItemKind::TyAlias
structures.
2019-12-12 17:54:48 +01:00