summary refs log tree commit diff
path: root/src/librustc/util/ppaux.rs
AgeCommit message (Expand)AuthorLines
2018-03-29Auto merge of #49313 - sgrif:sg-revert-stuff, r=nikomatsakisbors-1/+1
2018-03-23Revert "change skolemizations to use universe index"Sean Griffin-1/+1
2018-03-22Produce nice array lengths on a best effort basisOliver Schneider-2/+2
2018-03-14remove defaulting to unitAndrew Cann-2/+2
2018-03-13add `canonicalize` method to `InferCtxt` [VIC]Niko Matsakis-0/+9
2018-03-08Nuke the entire ctfe from orbit, it's the only way to be sureOliver Schneider-4/+0
2018-03-08Produce instead of pointersOliver Schneider-0/+4
2018-03-04Remove ty::Predicate::Equate and ty::EquatePredicate (dead code)Tatsuyuki Ishi-11/+0
2018-03-01change skolemizations to use universe indexNiko Matsakis-1/+1
2018-03-01obtain `UnificationTable` and `snapshot_vec` from `ena` insteadNiko Matsakis-0/+6
2018-01-23Adds support for immovable generators. Move checking of invalid borrows acros...John Kåre Alsaker-2/+25
2017-12-20connect NLL type checker to the impl trait codeNiko Matsakis-7/+11
2017-12-15add a new RegionKind variant: ReClosureBoundNiko Matsakis-0/+8
2017-11-22Make RegionVid use newtype_index!Santiago Pastorino-2/+2
2017-11-21Auto merge of #45879 - nikomatsakis:nll-kill-cyclic-closures, r=arielb1bors-3/+3
2017-11-18make `ty::Predicate` carry a `ClosureSubsts`Niko Matsakis-3/+3
2017-11-17Fix impl Trait Lifetime HandlingTaylor Cramer-0/+4
2017-10-27fix rebasePaul Liétar-0/+1
2017-10-27Implement RFC 1861: Extern typesPaul Lietar-1/+1
2017-10-08Introduce `Print` trait for displaying typesWonwoo Choi-797/+968
2017-10-08Name higher-ranked lifetimes properly while displayingWonwoo Choi-20/+70
2017-09-26Auto merge of #44735 - tirr-c:issue-42143, r=arielb1bors-0/+6
2017-09-24move Scope behind an enumAriel Ben-Yehuda-7/+8
2017-09-23Print fn signature when there is closure argument type mismatchWonwoo Choi-0/+6
2017-09-11rustc: evaluate fixed-length array length expressions lazily.Eduard-Mihai Burtescu-0/+11
2017-09-11rustc: use ty::Const for the length of TyArray.Eduard-Mihai Burtescu-1/+14
2017-09-08Use NodeId/HirId instead of DefId for local variables.Eduard-Mihai Burtescu-7/+3
2017-09-05rustc: Migrate lang items to a queryAlex Crichton-2/+2
2017-09-01rustc: rename CodeExtent to Scope and RegionMaps to ScopeTree.Eduard-Mihai Burtescu-13/+13
2017-09-01rustc: use hir::ItemLocalId instead of ast::NodeId in CodeExtent.Eduard-Mihai Burtescu-10/+9
2017-08-14Merge remote-tracking branch 'origin/master' into genAlex Crichton-2/+2
2017-08-11Use DefIndex instead of NodeId in UpvarId.Michael Woerister-2/+2
2017-08-09Initial pass review commentsAlex Crichton-1/+1
2017-07-28Generator literal supportJohn Kåre Alsaker-1/+42
2017-07-11Downgrade ProjectionTy's TraitRef to its substsTobias Schottdorf-3/+8
2017-06-27rustc: move the PolyFnSig out of TyFnDef.Eduard-Mihai Burtescu-2/+8
2017-06-12`-Z identify_regions` toggles rendering of (previously hidden) unnamed regions.Felix S. Klock II-0/+23
2017-06-12Add `-Z span_free_rvalues`.Felix S. Klock II-1/+5
2017-06-01Auto merge of #42281 - eddyb:well-adjusted, r=nikomatsakisbors-6/+0
2017-06-01rustc: remove unnecessary ItemSubsts wrapper.Eduard-Mihai Burtescu-6/+0
2017-05-31Upgrade ProjectionTy's Name to a DefIdTobias Schottdorf-4/+7
2017-05-22centralize the caching for is-copy, is-sized, and is-freezeNiko Matsakis-7/+1
2017-05-13rustc: stop interning CodeExtent, it's small enough.Eduard-Mihai Burtescu-2/+2
2017-05-13rustc: treat ReEarlyBound as free without replacing it with ReFree.Eduard-Mihai Burtescu-5/+1
2017-05-13rustc: use DefId instead of CodeExtent for FreeRegion's scope.Eduard-Mihai Burtescu-3/+1
2017-04-30intern CodeExtentsNiko Matsakis-8/+8
2017-04-24rustc: rename some of the queries to match tcx methods.Eduard-Mihai Burtescu-5/+5
2017-04-11add Subtype predicateNiko Matsakis-0/+14
2017-02-25rustc_typeck: move the leaves (generics, trait_def, adt_def) to on-demand.Eduard-Mihai Burtescu-10/+1
2017-02-25rustc: combine BareFnTy and ClosureTy into FnSig.Eduard-Mihai Burtescu-27/+10