Eduard-Mihai Burtescu
a88d181a02
rustc: rely on c_variadic == true instead of CVarArgs in HIR/Ty fn signatures.
2019-09-28 17:39:00 +03:00
Mark Rousskov
d540d44c71
Remove global_tcx from TyCtxt
...
The non-global context was removed; there's only one context now. This
is a noop method that only serves to confuse readers -- remove it.
2019-09-27 13:33:48 -04:00
varkor
e2e0f9af85
Rename sty to kind
2019-09-25 15:50:04 +01:00
ljedrz
37d7e1f22a
rename hir::map::local_def_id_from_hir_id to local_def_id
2019-07-04 12:53:12 +02:00
ljedrz
98cc18a5db
rename hir::map::name_by_hir_id to ::name
2019-06-20 12:47:26 +02:00
Eduard-Mihai Burtescu
b25b466a88
rustc: remove 'x: 'y bounds (except from comments/strings).
2019-06-18 18:10:21 +03:00
ljedrz
d996c4d5a3
remove _by_hir_id if there is no NodeId counterpart
2019-06-17 18:57:21 +02:00
Eduard-Mihai Burtescu
f3f9d6dfd9
Unify all uses of 'gcx and 'tcx.
2019-06-14 18:58:23 +03:00
Eduard-Mihai Burtescu
17cdd356da
rustc: replace TyCtxt<'tcx, 'gcx, 'tcx> with TyCtxt<'gcx, 'tcx>.
2019-06-12 13:38:27 +03:00
Eduard-Mihai Burtescu
37799a5552
rustc: replace TyCtxt<'a, 'gcx, 'tcx> with TyCtxt<'tcx, 'gcx, 'tcx>.
2019-06-12 13:38:27 +03:00
bors
47e0803d5c
Auto merge of #60195 - varkor:commontypes-to-common, r=eddyb
...
Split `CommonTypes` into `CommonTypes` and `CommonLifetimes`
The so-called "`CommonTypes`" contains more than just types.
r? @eddyb
2019-05-01 09:32:58 +00:00
varkor
a3470c6189
Update handling of Tuple
2019-04-26 21:09:32 +01:00
varkor
7261bd88ac
Update existing usages
2019-04-25 22:05:04 +01:00
Eduard-Mihai Burtescu
61fcbfcd59
rustc_mir: don't rely on mir::UpvarDecl in the MIR borrowck.
2019-04-23 17:27:54 +03:00
ljedrz
9151eabf97
HirIdification: remove all NodeIds from rustc_mir
2019-03-10 13:22:00 +01:00
csmoe
cf11729787
rename Substs to InternalSubsts
...
Change-Id: I3fa00e999a2ee4eb72db1fdf53a8633b49176a18
2019-02-27 00:39:13 +08:00
csmoe
ccfa5d6df8
replace &'tcx Substs with SubstsRef
2019-02-26 19:30:57 +08:00
Mazdak Farrokhzad
81434cbf84
Rollup merge of #58137 - ljedrz:cleanup_node_id_to_type, r=estebank
...
Cleanup: rename node_id_to_type(_opt)
Renames `node_id_to_type(_opt)` to `hir_id_to_type(_opt)`; this makes it clear we are dealing with HIR nodes and their IDs here.
In addition, a drive-by commit removing `ty::item_path::hir_path_str` (as requested by @eddyb).
2019-02-13 04:37:00 +01:00
bors
b244f61b77
Auto merge of #58341 - alexreg:cosmetic-2-doc-comments, r=steveklabnik
...
Cosmetic improvements to doc comments
This has been factored out from https://github.com/rust-lang/rust/pull/58036 to only include changes to documentation comments (throughout the rustc codebase).
r? @steveklabnik
Once you're happy with this, maybe we could get it through with r=1, so it doesn't constantly get invalidated? (I'm not sure this will be an issue, but just in case...) Anyway, thanks for your advice so far!
2019-02-12 19:09:24 +00:00
Alexander Regueiro
c3e182cf43
rustc: doc comments
2019-02-10 23:42:32 +00:00
ljedrz
3a1a704903
cleanup: rename node_id_to_type(_opt)
2019-02-09 16:37:15 +01:00
ljedrz
44752c260b
mir: partially HirIdify
2019-02-05 20:28:11 +01:00
Oliver Scherer
64afc6b517
Differentiate between closure and function bodies
2019-01-21 10:12:17 +01:00
Mark Rousskov
2a663555dd
Remove licenses
2018-12-25 21:08:33 -07:00
John Kåre Alsaker
a70babed03
Use a function to access the Hir map to be able to turn it into a query later
2018-12-06 17:24:36 +01:00
Matthew Jasper
ef1a40d5fe
Propagate bounds from generators
2018-10-18 22:47:49 +01:00
Niko Matsakis
bb8c4c0db9
print less info to stabilize tests
2018-09-07 17:24:46 -04:00
Niko Matsakis
db169e53e5
move annotate onto a method of UniversalRegions
...
This allows it to print out the "late-bound regions" from the closure
context more easily. Besides, all the state that is being printed it
is private to the `UniversalRegions`.
2018-09-07 17:08:21 -04:00
Niko Matsakis
81f64b7fa3
universal_regions.rs: rustfmt
2018-09-06 19:58:23 -04:00
Niko Matsakis
da12d02b37
useful debug in universal_regions
2018-09-06 19:58:23 -04:00
varkor
6f637da50c
Remove Ty prefix from Ty{Adt|Array|Slice|RawPtr|Ref|FnDef|FnPtr|Dynamic|Closure|Generator|GeneratorWitness|Never|Tuple|Projection|Anon|Infer|Error}
2018-08-22 16:07:44 +01:00
varkor
87c7e57020
Rename ty::Slice to ty::List
2018-08-22 16:05:27 +01:00
Niko Matsakis
d1e67fcacd
remove universal-region-relation computation from universal_regions
2018-07-31 02:31:40 +02:00
Mikhail Modin
bb66d70b89
fix issues #51351 and #52133
2018-07-29 11:42:50 +01:00
kennytm
aea141e72c
Rollup merge of #52587 - csmoe:doc, r=kennytm
...
Add missing backtick in UniversalRegions doc comment
r? @QuietMisdreavus
2018-07-23 01:00:07 +08:00
csmoe
50720ba706
Add missing backtick
2018-07-21 22:23:50 +08:00
Tyler Mandry
e5286d9fa6
Convert implied_outlives_bounds to a query
2018-07-21 15:56:44 +03:00
Niko Matsakis
727f01700b
write code to extract region names and emit new style message
2018-07-04 05:09:33 -04:00
Niko Matsakis
fa02d68eec
universal_regions: rustfmt
2018-07-03 18:10:08 -04:00
Niko Matsakis
7c72e778ab
instantiate closure requirements as query-region-constraints [WIP]
...
Marked as WIP because it invalidates some tests.
2018-06-26 10:59:40 -04:00
Eduard-Mihai Burtescu
7e4d8718cb
rustc: use intern_* instead of mk_* where possible.
2018-05-21 12:13:19 +03:00
John Kåre Alsaker
710b4ad2a5
Store the GeneratorInterior in the new GeneratorSubsts
2018-05-08 16:21:58 +02:00
John Kåre Alsaker
0edc8f4270
Store generator movability outside GeneratorInterior
2018-05-08 16:21:58 +02:00
Steven Malis
f5a367c7bb
Update based on RangeBounds trait being moved to libcore.
2018-04-07 15:47:18 -07:00
Niko Matsakis
04aeef8d45
Debug logs for replace_bound_regions_with_nll_infer_vars
2018-03-22 22:40:51 +00:00
Andrew Cann
9b15ddb29e
remove defaulting to unit
...
Types will no longer default to `()`, instead always defaulting to `!`.
This disables the associated warning and removes the flag from TyTuple
2018-03-14 12:44:51 +08:00
bobtwinkles
5de094e579
mir: Fix DefiningTy::Const
...
Fixes #47590 by fixing the way DefiningTy represents constants. Previously,
constants were represented using just the type of the variable. However, this
will fail to capture early-bound regions as NLL inference vars, resulting in an
ICE when we try to compute region VIDs a little bit later in the universal
region resolution process.
2018-02-06 23:42:05 -05:00
bors
fdc18b3067
Auto merge of #47353 - nikomatsakis:nll-issue-47189, r=pnkfelix+nmatsakis
...
renumber regions in generators
This fixes #47189 , but I think we still have to double check various things around how to treat generators in MIR type check + borrow check (e.g., what borrows should be invalidated by a `Suspend`? What consistency properties should type check be enforcing anyway around the "interior" type?)
Also fixes #47587 thanks to @spastorino's commit.
r? @pnkfelix
2018-01-22 11:11:47 +00:00
Santiago Pastorino
fcb9e928b7
Integrate generators to universal region setup
2018-01-19 21:32:43 -05:00
Niko Matsakis
3b390e5420
remove bogus assertion and comments
...
The code (incorrectly) assumed that constants could not have generics
in scope, but it's not really a problem if they do.
2018-01-16 12:45:39 -05:00
