about summary refs log tree commit diff
path: root/src/librustc/ty
AgeCommit message (Collapse)AuthorLines
2019-04-30Remove functions to simplifyYuki OKUSHI-20/+0
2019-04-28Fix lint findings in librustcflip1995-12/+12
2019-04-27Rollup merge of #60292 - varkor:ty-tuple-substs, r=nikomatsakisMazdak Farrokhzad-26/+52
Replace the `&'tcx List<Ty<'tcx>>` in `TyKind::Tuple` with `SubstsRef<'tcx>` Part of the suggested refactoring for https://github.com/rust-lang/rust/issues/42340. As expected, this is a little messy, because there are many places that the components of tuples are expected to be types, rather than arbitrary kinds. However, it should open up the way for a refactoring of `TyS` itself. r? @nikomatsakis
2019-04-27Auto merge of #59540 - Zoxc:the-arena-2, r=michaelwoeristerbors-8/+3
Use arenas to avoid Lrc in queries #1 Based on https://github.com/rust-lang/rust/pull/59536.
2019-04-26Update handling of Tuplevarkor-23/+40
2019-04-26Replace `&'tcx List<Ty<'tcx>>` in `Tuple` with `SubstsRef<'tcx>`varkor-1/+1
2019-04-26Add expect_ty method to Kindvarkor-2/+11
2019-04-25Update existing usagesvarkor-5/+5
2019-04-25Split `CommonTypes` into `CommonTypes` and `CommonLifetimes`varkor-9/+23
2019-04-25ignore-tidy-filelength on all files with greater than 3000 linesvarkor-0/+4
2019-04-25Update variances_ofJohn Kåre Alsaker-8/+4
2019-04-25Generalize discriminant info calls for generators and ADTsTyler Mandry-7/+64
2019-04-25Describe generator variants in debuginfoTyler Mandry-0/+40
2019-04-25Support variantful generatorsTyler Mandry-28/+81
This allows generators to overlap fields using variants.
2019-04-25Give GeneratorLayout a list of fields for each variantTyler Mandry-8/+8
But don't really use it yet.
2019-04-25Define generator discriminant type in only one placeTyler Mandry-11/+13
2019-04-25Update trait_impls_ofJohn Kåre Alsaker-3/+2
2019-04-25Update inferred_outlives_ofJohn Kåre Alsaker-5/+1
2019-04-23Add rustc_allow_const_fn_ptrTaylor Cramer-0/+7
2019-04-23Rollup merge of #60177 - rasendubi:rustdoc-comments, r=varkorMazdak Farrokhzad-11/+11
Promote rust comments to rustdoc
2019-04-23Auto merge of #60125 - estebank:continue-evaluating, r=oli-obkbors-1/+1
Don't stop evaluating due to errors before borrow checking r? @oli-obk Fix #60005. Follow up to #59903. Blocked on #53708, fixing the ICE in `src/test/ui/consts/match_ice.rs`.
2019-04-22Fix ICE related to #53708Esteban Küber-1/+1
2019-04-22Promote rust comments to rustdocAlexey Shmalko-11/+11
2019-04-22Remove double trailing newlinesvarkor-2/+0
2019-04-21Enable migrate mode by default on the 2015 editionMatthew Jasper-53/+7
This also fully stabilizes two-phase borrows on all editions
2019-04-21Change return type of `TyCtxt::is_static` to boolVadim Petrochenkov-3/+8
Add `TyCtxt::is_mutable_static`
2019-04-21Introduce query `static_mutability`Vadim Petrochenkov-28/+2
2019-04-20Auto merge of #59987 - saleemjaffer:refactor_adjust_castkinds, r=oli-obkbors-39/+33
Refactor Adjust and CastKind fixes rust-lang#59588
2019-04-18Auto merge of #60058 - varkor:const-generics-ty-refactor, r=cramertjbors-5/+13
Make const parameters enforce no variance constraints Fixes https://github.com/rust-lang/rust/issues/60047. Also includes some minor const refactoring for convenience.
2019-04-18Auto merge of #60048 - estebank:issue-54954, r=sanxiynbors-0/+13
Fix ICE on const evaluation of const method Fix #54954.
2019-04-18Add own_requires_monomorphizationvarkor-5/+13
2019-04-17Fix ICE on const evaluation of const methodEsteban Küber-0/+13
2019-04-17Deny `internal` in stage0Mateusz Mikuła-1/+1
2019-04-16refactor ExprKind to use new PointerCast enumSaleem Jaffer-21/+3
2019-04-16refactor Adjustment to use new PointerCast enumSaleem Jaffer-39/+42
2019-04-15basic refactor. Adding PointerCast enumSaleem Jaffer-0/+9
2019-04-14Auto merge of #59335 - Aaron1011:fix/extern-priv-final, r=Aaron1011bors-0/+10
Properly parse '--extern-private' with name and path It turns out that https://github.com/rust-lang/rust/pull/57586 didn't properly parse `--extern-private name=path`. This PR properly implements the `--extern-private` option. I've added a new `extern-private` option to `compiletest`, which causes an `--extern-private` option to be passed to the compiler with the proper path. Part of https://github.com/rust-lang/rust/issues/44663
2019-04-14HirIdify hir::Defljedrz-6/+12
2019-04-14Properly parse '--extern-private' with name and pathAaron Hill-0/+10
2019-04-12Use measureme in self-profilerWesley Wiser-30/+42
Related to #58372 Related to #58967
2019-04-12Auto merge of #59651 - tmandry:discr-index, r=eddybbors-0/+4
Add discr_index to multi-variant layouts We remove the assumption that the discriminant is always field 0, in preparations for layouts like generators where this is not (always) going to be the case. Specifically, upvars are going to go before the discriminant. In theory, it's possible to remove _that_ assumption instead and keep the discriminant at field index 0, but one assumption or the other had to go :) There is one place I know of in the debuginfo code where we'll still need to remove assumptions that the discriminant is the _only_ field. I was planning on doing this along with the upcoming generator change, which will also include tests that exercise the code changing in this PR. r? @eddyb cc @oli-obk cc @cramertj
2019-04-11Add discr_index to multi-variant layoutsTyler Mandry-0/+4
We relax the assumption that the discriminant is always field 0, in preparations for layouts like generators where this is not going to be the case.
2019-04-05Add DropArena and use it to allocate types with few allocationsJohn Kåre Alsaker-3/+7
2019-04-05Make ArenaAllocatable a marker trait to allow overlapping impls and use ↵John Kåre Alsaker-2/+2
specialization to find the right field
2019-04-05Introduce an arena type which may be used to allocate a list of types with ↵John Kåre Alsaker-1/+56
destructors
2019-04-04Auto merge of #59517 - Zoxc:new-queries, r=oli-obkbors-1806/+17
Move query definitions over to the proc macro r? @oli-obk
2019-04-03Add trait_object_dummy_self to CommonTypesflip1995-0/+7
2019-04-03Deny internal lints in librustcflip1995-0/+2
2019-04-02Replace adt_def with name in mir::ProjectionElem::DowncastTyler Mandry-17/+17
2019-04-01Rollup merge of #58507 - Zoxc:time-extended, r=michaelwoeristerMazdak Farrokhzad-15/+14
Add a -Z time option which prints only passes which runs once This ensures `-Z time-passes` fits on my screen =P r? @michaelwoerister