about summary refs log tree commit diff
path: root/src/librustc/middle
AgeCommit message (Collapse)AuthorLines
2019-06-12rustc: replace `TyCtxt<'a, 'gcx, 'tcx>` with `TyCtxt<'tcx, 'gcx, 'tcx>`.Eduard-Mihai Burtescu-97/+97
2019-06-05Addressed points raised in review.Niko Matsakis-3/+3
2019-06-05Aggregation of drive-by cosmetic changes.Alexander Regueiro-4/+4
2019-06-03rustc: remove `HirId` from `ArgSource::AsyncFn`David Wood-4/+4
This commit removes the `HirId` from `ArgSource::AsyncFn`, relying on the fact that only `simple_ident` is used in each of the locations that previously took the original pattern from the `ArgSource::AsyncFn`.
2019-06-03rustc: async fn drop order lowering in HIRDavid Wood-1/+2
This commit re-implements the async fn drop order lowering changes so that it all takes place in HIR lowering, building atop the work done by `@eddyb` to refactor `Res::Upvar`. Previously, this types involved in the lowering were constructed in libsyntax as they had to be used during name resolution and HIR lowering. This was awful because none of that logic should have existed in libsyntax. This commit also changes `ArgSource` to keep a `HirId` to the original argument pattern rather than a cloned copy of the pattern.
2019-06-01rustc: remove Res::Upvar.Eduard-Mihai Burtescu-35/+38
2019-06-01rustc: remove `has_parent` from `hir::Upvar`.Eduard-Mihai Burtescu-10/+4
2019-06-01rustc: track the body owner in liveness.Eduard-Mihai Burtescu-6/+21
2019-06-01rustc: remove closure ID from Res::Upvar.Eduard-Mihai Burtescu-17/+18
2019-06-01rustc: track the body owner DefId in MC and EUV.Eduard-Mihai Burtescu-7/+21
2019-06-01rustc: use indexmap instead of a plain vector for upvars.Eduard-Mihai Burtescu-7/+9
2019-06-01rustc: remove the closure ID from hir::Upvar's parent field.Eduard-Mihai Burtescu-19/+24
2019-06-01rustc: remove the index field from Res::Upvar.Eduard-Mihai Burtescu-2/+2
2019-06-01rustc: replace Res in hir::Upvar with only Local/Upvar data.Eduard-Mihai Burtescu-7/+9
2019-05-29Simplify Set1::insert.Mazdak Farrokhzad-10/+5
2019-05-28Rename `OpportunisticTypeResolver` to `OpportunisticVarResolver`varkor-4/+4
2019-05-28Auto merge of #60955 - agnxy:rename-assoc, r=oli-obk,Centrilbors-8/+8
Rename "Associated*" to "Assoc*" This change is for #60163. r? @oli-obk
2019-05-27Pre-intern "0", "1", ..., "9", and use where appropriate.Nicholas Nethercote-2/+2
2019-05-27Avoid unnecessary internings.Nicholas Nethercote-4/+4
Most involving `Symbol::intern` on string literals.
2019-05-26Rename "Associated*" to "Assoc*"Andrew Xu-8/+8
We are going to uniform the terminology of all associated items. Methods that may or may not have `self` are called "associated functions". Because `AssociatedFn` is a bit long, we rename `Associated` to `Assoc`.
2019-05-24Delay ICE in early_free_scope so feature gate has chance to stop compilation ↵Felix S. Klock II-6/+9
cleanly.
2019-05-23Update get_lib_features, defined_lib_features, get_lang_items, ↵John Kåre Alsaker-4/+4
defined_lang_items, missing_lang_items, postorder_cnums and maybe_unused_extern_crates
2019-05-23Update resolve_lifetimes, named_region_map, is_late_bound_map and ↵John Kåre Alsaker-14/+9
object_lifetime_defaults_map
2019-05-23Auto merge of #60174 - matthewjasper:add-match-arm-scopes, r=pnkfelixbors-13/+21
Add match arm scopes and other scope fixes * Add drop and lint scopes for match arms. * Lint attributes are now respected on match arms. * Make sure we emit a StorageDead if we diverge when initializing a temporary. * Adjust MIR pretty printing of scopes for locals. * Don't generate duplicate lint scopes for `let statements`. * Add some previously missing fake borrows for matches. closes #46525 cc @rust-lang/compiler
2019-05-22Eliminate unnecessary `Ident::with_empty_ctxt`sVadim Petrochenkov-1/+1
2019-05-22Simplify use of keyword symbolsVadim Petrochenkov-7/+7
2019-05-22Rollup merge of #61003 - nnethercote:rm-InternedString-PartialEq-impls, ↵Mazdak Farrokhzad-2/+2
r=petrochenkov Remove impls for `InternedString`/string equality. `Symbol` received the same treatment in #60630. Also, we can derive `PartialEq` for `InternedString`. r? @petrochenkov
2019-05-21Give match arms a drop/region scopeMatthew Jasper-13/+21
Also give arms the correct lint scope in MIR.
2019-05-21Remove impls for `InternedString`/string equality.Nicholas Nethercote-2/+2
`Symbol` received the same treatment in #60630. Also, we can derive `PartialEq` for `InternedString`.
2019-05-19Improve type size assertionsVadim Petrochenkov-1/+1
Now they - Tell what the new size is, when it changes - Do not require passing an identifier
2019-05-13Return a `Symbol` from `name_or_empty` functions.Nicholas Nethercote-4/+4
2019-05-13Remove the equality operation between `Symbol` and strings.Nicholas Nethercote-6/+6
And also the equality between `Path` and strings, because `Path` is made up of `Symbol`s.
2019-05-13Pass a `Symbol` to `check_name`, `emit_feature_err`, and related functions.Nicholas Nethercote-24/+28
2019-05-13Rename `syntax::symbol::symbols` as `syntax::symbol::sym`.Nicholas Nethercote-2/+2
Because it's going to be used a lot.
2019-05-10Remove hir::ExprKind::If and replace it with lowering to hir::ExprKind::Match.Mazdak Farrokhzad-44/+2
2019-05-09Rollup merge of #60641 - estebank:defer-ice, r=oli-obkMazdak Farrokhzad-2/+10
Instead of ICEing on incorrect pattern, use delay_span_bug Fix #60635.
2019-05-08Instead of ICEing on incorrect pattern, use delay_span_bugEsteban Küber-2/+10
2019-05-08Document + Cleanup lang_items.rsMazdak Farrokhzad-37/+60
2019-05-05rustc: rename all occurences of "freevar" to "upvar".Eduard-Mihai Burtescu-15/+15
2019-05-05rustc: replace uses of with_freevars with the freevars query.Eduard-Mihai Burtescu-9/+10
2019-05-03rustc: rename hir::def::Def to Res (short for "resolution").Eduard-Mihai Burtescu-114/+114
2019-05-03rustc: use DefKind instead of Def, where possible.Eduard-Mihai Burtescu-4/+5
2019-05-03rustc: factor most DefId-containing variants out of Def and into DefKind.Eduard-Mihai Burtescu-37/+54
2019-05-01Auto merge of #60435 - Centril:rollup-aa5lmuw, r=Centrilbors-7/+7
Rollup of 7 pull requests Successful merges: - #60287 (Use references for variances_of) - #60327 (Search for incompatible universes in borrow errors) - #60330 (Suggest using an inclusive range instead of an exclusive range when the endpoint overflows by 1) - #60366 (build-gcc: Create missing cc symlink) - #60369 (Support ZSTs in DispatchFromDyn) - #60404 (Implement `BorrowMut<str>` for `String`) - #60417 (Rename hir::ExprKind::Use to ::DropTemps and improve docs.) Failed merges: r? @ghost
2019-05-01Auto merge of #60195 - varkor:commontypes-to-common, r=eddybbors-2/+2
Split `CommonTypes` into `CommonTypes` and `CommonLifetimes` The so-called "`CommonTypes`" contains more than just types. r? @eddyb
2019-04-30Rename hir::ExprKind::Use to ::DropTemps and improve docs.Mazdak Farrokhzad-7/+7
2019-04-28Fix lint findings in librustcflip1995-4/+4
2019-04-27Auto merge of #59540 - Zoxc:the-arena-2, r=michaelwoeristerbors-8/+5
Use arenas to avoid Lrc in queries #1 Based on https://github.com/rust-lang/rust/pull/59536.
2019-04-25Update existing usagesvarkor-2/+2
2019-04-25Update rvalue_promotable_mapJohn Kåre Alsaker-5/+3