summary refs log tree commit diff
path: root/src/librustc/traits/select.rs
AgeCommit message (Expand)AuthorLines
2016-11-03add a per-param-env cache to `impls_bound`Ariel Ben-Yehuda-1/+1
2016-09-20rustc_metadata: move more RBML tags to auto-serialization.Eduard Burtescu-1/+1
2016-09-08Refactor `TyStruct`/`TyEnum`/`TyUnion` into `TyAdt`Vadim Petrochenkov-9/+7
2016-09-04Replace `_, _` with `..`Vadim Petrochenkov-2/+2
2016-09-03Add union typesVadim Petrochenkov-3/+4
2016-09-01turn the RFC1592 warnings into hard errorsAriel Ben-Yehuda-10/+6
2016-08-27rustc: use Vec<Kind> in Substs, where Kind is a &TyS | &Region tagged pointer.Eduard Burtescu-18/+16
2016-08-27rustc: pass ty::Region behind an interned 'tcx reference.Eduard Burtescu-5/+6
2016-08-27rustc: use accessors for Substs::{types,regions}.Eduard Burtescu-19/+16
2016-08-17rustc: remove ParamSpace from Substs.Eduard Burtescu-9/+8
2016-08-17rustc: split GenericPredicates of a method from its parent predicates.Eduard Burtescu-14/+12
2016-08-17rustc: reduce Substs and Generics to a simple immutable API.Eduard Burtescu-21/+28
2016-08-17rustc: move trait objects from TraitRef to ExistentialTraitRef.Eduard Burtescu-26/+23
2016-08-17rustc: move the SelfSpace before TypeSpace in Substs.Eduard Burtescu-2/+3
2016-08-17rustc: use Vec instead of VecPerParamSpace for ty::GenericPredicates.Eduard Burtescu-1/+1
2016-08-13Rename empty/bang to neverAndrew Cann-3/+3
2016-08-13Remove obsolete divergence related stuffAndrew Cann-2/+2
2016-08-13Start implementation of RFC 1216 (make ! a type)Andrew Cann-2/+3
2016-08-12typeck: leak auto trait obligations through impl Trait.Eduard Burtescu-8/+11
2016-08-12rustc: add TyAnon (impl Trait) to the typesystem.Eduard Burtescu-24/+25
2016-08-12rustc: rename ProjectionMode and its variant to be more memorable.Eduard Burtescu-2/+2
2016-05-31make HR algorithms account for region subtypingNiko Matsakis-8/+24
2016-05-11Plumb inference obligations through selectionMasood Malekghassemi-66/+106
2016-05-11Don't mutate the inference context when assemblingMasood Malekghassemi-1/+1
2016-05-11Add inferred obligation storage to all Vtable variants and SelectionContextMasood Malekghassemi-8/+25
2016-05-11rustc: More interning for data used in Ty<'tcx>.Eduard Burtescu-16/+16
2016-05-11rustc: Generalize a minimum set of functions over 'tcx != 'gcx.Eduard Burtescu-34/+84
2016-05-11rustc: Remove the TyCtxt field from ParameterEnvironment.Eduard Burtescu-1/+1
2016-05-11rustc: Split 'tcx into 'gcx and 'tcx for InferCtxt and its users.Eduard Burtescu-9/+9
2016-05-11rustc: Replace &'a TyCtxt<'tcx> with a TyCtxt<'a, 'tcx> wrapper.Eduard Burtescu-1/+1
2016-05-11rustc: Avoid free functions taking &TyCtxt and &InferCtxt.Eduard Burtescu-22/+18
2016-05-03stop dropping impls from cause backtracesAriel Ben-Yehuda-23/+25
2016-05-03stop using commit_if_ok where no errors can happenAriel Ben-Yehuda-52/+31
2016-05-03change the newly-added errors to warningsAriel Ben-Yehuda-9/+10
2016-05-03require the existential bounds of an object type to be object-safeAriel Ben-Yehuda-3/+9
2016-05-03require the non-last elements of a tuple to be SizedAriel Ben-Yehuda-1/+8
2016-05-03refactor the handling of builtin candidatesAriel Ben-Yehuda-198/+101
2016-05-03Short-cut Sized matching on ADTsAriel Ben-Yehuda-82/+73
2016-04-13Auto merge of #32780 - soltanmm:consider-the-following, r=nikomatsakisbors-74/+31
2016-04-06Replace consider_unification_despite_ambiguity with obligation variantMasood Malekghassemi-74/+31
2016-04-06rustc: move middle::{def,def_id,pat_util} to hir.Eduard Burtescu-1/+1
2016-04-06rustc: move rustc_front to rustc::hir.Eduard Burtescu-1/+1
2016-04-05Rollup merge of #32596 - soltanmm:lazy, r=nikomatsakisManish Goregaokar-33/+50
2016-04-04Address nitsMasood Malekghassemi-8/+8
2016-03-31librustc: replace unreachable! with bug!()Benjamin Herr-2/+2
2016-03-31librustc: replace span_bug calls with span_bug!()Benjamin Herr-10/+10
2016-03-31librustc: replace tcx.sess.bug calls with bug!()Benjamin Herr-28/+20
2016-03-29Plumb obligations through librustc/inferMasood Malekghassemi-33/+50
2016-03-27rustc: move cfg, infer, traits and ty from middle to top-level.Eduard Burtescu-0/+3049