about summary refs log tree commit diff
path: root/src/librustc/ty/util.rs
AgeCommit message (Collapse)AuthorLines
2019-04-26Update handling of Tuplevarkor-5/+11
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-03-24Merge `DefPathData::VariantCtor` and `DefPathData::StructCtor`Vadim Petrochenkov-2/+2
2019-03-16Revert the `LazyConst` PROliver Scherer-2/+2
2019-03-15rustc: remove TyCtxt::parent_def_id in favor of TyCtxt::parent.Eduard-Mihai Burtescu-2/+2
2019-03-13Use derive macro for HashStableJohn Kåre Alsaker-1/+2
2019-03-05Handle const generics elsewherevarkor-4/+16
Co-Authored-By: Gabriel Smith <yodaldevoid@users.noreply.github.com>
2019-02-27Rollup merge of #58749 - kenta7777:reduce-repetition, r=oli-obkMazdak Farrokhzad-7/+8
Reduce Repetitions of (n << amt) >> amt Fixes part of [#49937](https://github.com/rust-lang/rust/issues/49937).
2019-02-27rename Substs to InternalSubstscsmoe-2/+2
Change-Id: I3fa00e999a2ee4eb72db1fdf53a8633b49176a18
2019-02-26replace &'tcx Substs with SubstsRefcsmoe-4/+4
2019-02-26reduce repetitions of (n << amt) >> amtkenta7777-7/+8
2019-02-15Always emit an error for a query cycleJohn Kåre Alsaker-15/+8
2019-02-10rustc: doc commentsAlexander Regueiro-21/+22
2019-02-05move librustc to 2018Mark Mansi-13/+13
2019-01-29Add an ensure() method to TyCtxt used to ensure queries are runJohn Kåre Alsaker-1/+1
2019-01-10integrate trait aliases into def-paths / metadataNiko Matsakis-0/+9
Co-authored-by: Alexander Regueiro <alexreg@me.com>
2019-01-03Forbid impl Trait from referring to unnamable recursive typesMatthew Jasper-2/+72
There is no type T, such that `T = [T; 2]`, we should not allow this to be circumvented by impl Trait.
2019-01-02rename `type_moves_by_default` to `type_is_copy_modulo_regions`Niko Matsakis-9/+9
2019-01-02pacify the mercilous eddyb ;)Niko Matsakis-2/+4
2019-01-02add some comments about lifetimes etcNiko Matsakis-0/+18
2019-01-02make evaluation track whether outlives relationships matteredNiko Matsakis-15/+21
Previously, evaluation ignored outlives relationships. Since we using evaluation to skip the "normal" trait selection (which enforces outlives relationships) this led to incorrect results in some cases.
2018-12-29Use `same_type` instead of duplicating logicEsteban Küber-14/+14
2018-12-25Remove licensesMark Rousskov-10/+0
2018-12-07Various minor/cosmetic improvements to codeAlexander Regueiro-4/+4
2018-12-06Use a function to access the Hir map to be able to turn it into a query laterJohn Kåre Alsaker-2/+2
2018-11-25Rollup merge of #56101 - frewsxcv:frewsxcv-dyn, r=steveklabnikPietro Albini-1/+1
Incorporate `dyn` into more comments and docs. r? @rust-lang/docs
2018-11-24Introduce `TyKind::Placeholder` variantscalexm-1/+1
2018-11-20Incorporate `dyn` into more comments and docs.Corey Farwell-1/+1
2018-11-04rustc_target: pass contexts by reference, not value.Eduard-Mihai Burtescu-3/+3
2018-11-03Auto merge of #55101 - alexreg:trait-aliases, r=nikomatsakisbors-1/+1
Implement trait aliases (RFC 1733) Extends groundwork done in https://github.com/rust-lang/rust/pull/45047, and fully implements https://github.com/rust-lang/rfcs/pull/1733. CC @durka @nikomatsakis
2018-11-03Shift both late bound regions and bound typesscalexm-2/+2
2018-11-03Move `BoundTy` to `ty::TyKind`scalexm-1/+1
2018-11-03Extended elaboration for trait aliases to include arbitrary bounds.Alexander Regueiro-1/+1
2018-10-19Deprecate the `FxHashMap()` and `FxHashSet()` constructor function hackOliver Scherer-1/+1
2018-10-14change a cloning map to into_iterljedrz-1/+1
2018-10-05Auto merge of #54743 - ljedrz:cleanup_ty_p2, r=zackmdavisbors-33/+29
Cleanup rustc/ty part 2 The second part of cleanups and minor improvements for rustc/ty. - improve allocations - calculate span after a possible early continue - simplify some patterns - mark a comment as FIXME - whitespace fixes The PR is independent from from the first part.
2018-10-03Introduce `TyKind::UnnormalizedProjection`scalexm-0/+2
2018-10-03rustc/ty: calculate span after a possible early continueljedrz-1/+1
2018-10-03rustc/ty: simplify some patternsljedrz-23/+17
2018-10-03rustc/ty: whitespace fixesljedrz-9/+11
2018-09-29don't elide lifetimes in paths in librustc/Zack M. Davis-3/+3
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)!
2018-09-05Changing TyAnon -> TyOpaque and relevant functionsms2300-1/+1
2018-08-27Rename hir::map::NodeKind to hir::Nodevarkor-4/+4
2018-08-27Rename hir::map::Node to hir::map::NodeKindvarkor-3/+3
2018-08-22Remove unnecessary TyKind::svarkor-1/+1
2018-08-22Remove Ty prefix from Ty{Bool|Char|Int|Uint|Float|Str}varkor-8/+8
2018-08-22Remove Ty prefix from Ty{Foreign|Param}varkor-3/+3
2018-08-22Remove Ty prefix from ↵varkor-35/+35
Ty{Adt|Array|Slice|RawPtr|Ref|FnDef|FnPtr|Dynamic|Closure|Generator|GeneratorWitness|Never|Tuple|Projection|Anon|Infer|Error}
2018-08-22Rename ty::TyVariants to ty::TyKindvarkor-2/+2