about summary refs log tree commit diff
path: root/src/librustc/ty/fast_reject.rs
AgeCommit message (Expand)AuthorLines
2019-02-05move librustc to 2018Mark Mansi-3/+3
2019-01-04add support for principal-less trait object typesAriel Ben-Yehuda-6/+6
2018-12-25Remove licensesMark Rousskov-10/+0
2018-12-14add coherence future-compat warnings for marker-only trait objectsAriel Ben-Yehuda-2/+12
2018-12-07Various minor/cosmetic improvements to codeAlexander Regueiro-1/+1
2018-11-24Introduce `TyKind::Placeholder` variantscalexm-1/+1
2018-11-03Move `BoundTy` to `ty::TyKind`scalexm-1/+1
2018-10-13Check the invariant for `principal` inside the methodOliver Scherer-1/+1
2018-10-03Introduce `TyKind::UnnormalizedProjection`scalexm-0/+1
2018-09-29don't elide lifetimes in paths in librustc/Zack M. Davis-1/+1
2018-09-05Changing TyAnon -> TyOpaque and relevant functionsms2300-5/+5
2018-08-22Remove Ty prefix from Ty{Bool|Char|Int|Uint|Float|Str}varkor-6/+6
2018-08-22Remove Ty prefix from Ty{Foreign|Param}varkor-2/+2
2018-08-22Remove Ty prefix from Ty{Adt|Array|Slice|RawPtr|Ref|FnDef|FnPtr|Dynamic|Closu...varkor-15/+15
2018-05-08Insert fields from TypeAndMut into TyRef to allow layout optimizationJohn Kåre Alsaker-2/+2
2018-05-08Store the GeneratorInterior in the new GeneratorSubstsJohn Kåre Alsaker-1/+1
2018-05-08Store generator movability outside GeneratorInteriorJohn Kåre Alsaker-1/+1
2018-03-20Rollup merge of #49004 - wesleywiser:incr_specialization_graph_query, r=micha...kennytm-1/+1
2018-03-14Cache the specialization_graph queryWesley Wiser-1/+1
2018-03-14remove defaulting to unitAndrew Cann-1/+1
2018-03-08Add InterpretInterner to StableHashingContext for AllocId serializationOliver Schneider-3/+3
2018-01-23Adds support for immovable generators. Move checking of invalid borrows acros...John Kåre Alsaker-0/+6
2017-10-27Implement RFC 1861: Extern typesPaul Lietar-0/+6
2017-09-18incr.comp.: Remove tcx from StableHashingContext.Michael Woerister-3/+3
2017-09-18incr.comp.: Compute hashes of all query results.Michael Woerister-10/+84
2017-07-28Generator literal supportJohn Kåre Alsaker-0/+4
2017-06-27rustc: move the PolyFnSig out of TyFnDef.Eduard-Mihai Burtescu-1/+2
2017-02-25rustc: combine BareFnTy and ClosureTy into FnSig.Eduard-Mihai Burtescu-1/+1
2017-02-03Add warning for () to ! switchAndrew Cann-1/+1
2017-01-30Merge ty::TyBox into ty::TyAdtVadim Petrochenkov-5/+0
2016-12-05Refactor ty::FnSig to privatize all fieldsMark-Simulacrum-1/+1
2016-11-28Adds TyCtxt::require_lang_item(LangItem) to simplify lang item requires.Mark-Simulacrum-4/+2
2016-11-28Refactor TyTrait to contain a interned ExistentialPredicate slice.Mark-Simulacrum-1/+1
2016-11-28Privatize TraitObject.principal and add a method accessor, returning Option.Mark-Simulacrum-1/+1
2016-09-28Call arrays "arrays" instead of "vecs" internallyJonas Schievink-2/+2
2016-09-08Refactor `TyStruct`/`TyEnum`/`TyUnion` into `TyAdt`Vadim Petrochenkov-11/+3
2016-09-04Replace `_, _` with `..`Vadim Petrochenkov-1/+1
2016-09-03Implement encoding/decoding unions in metadataVadim Petrochenkov-2/+3
2016-09-03Add union typesVadim Petrochenkov-0/+3
2016-08-17rustc: move trait objects from TraitRef to ExistentialTraitRef.Eduard Burtescu-1/+1
2016-08-13Rename empty/bang to neverAndrew Cann-2/+2
2016-08-13Start implementation of RFC 1216 (make ! a type)Andrew Cann-0/+2
2016-08-12rustc: add TyAnon (impl Trait) to the typesystem.Eduard Burtescu-0/+4
2016-05-11rustc: Generalize a minimum set of functions over 'tcx != 'gcx.Eduard Burtescu-4/+4
2016-05-11rustc: Split 'tcx into 'gcx and 'tcx for InferCtxt and its users.Eduard Burtescu-4/+4
2016-05-11rustc: Replace &'a TyCtxt<'tcx> with a TyCtxt<'a, 'tcx> wrapper.Eduard Burtescu-1/+1
2016-04-06rustc: move middle::{def,def_id,pat_util} to hir.Eduard Burtescu-1/+1
2016-03-27rustc: move cfg, infer, traits and ty from middle to top-level.Eduard Burtescu-0/+103