summary refs log tree commit diff
path: root/src/librustc/middle/traits/select.rs
AgeCommit message (Expand)AuthorLines
2015-09-14move middle::ty and related modules to middle/ty/Ariel Ben-Yehuda-11/+9
2015-09-04Auto merge of #27984 - arielb1:misc-assemble-improvements, r=nikomatsakisbors-31/+36
2015-09-03consolidate type-variable handling in assemble_candidatesAriel Ben-Yehuda-31/+36
2015-09-03Add an intital HIR and lowering stepNick Cameron-5/+6
2015-08-24fallout from moving def-idNiko Matsakis-22/+23
2015-08-12traits: consider whether origin is RFC1214 when caching, ensuringNiko Matsakis-1/+3
2015-08-12Introduce a "origin/cause" for new requirements (or bugfixes...) introduced b...Niko Matsakis-6/+16
2015-08-12Add two new kinds of predicates, WellFormed and ObjectSafe.Niko Matsakis-0/+20
2015-08-06use VariantDef instead of struct_fieldsAriel Ben-Yehuda-30/+11
2015-08-06introduce an ADTDef struct for struct/enum definitionsAriel Ben-Yehuda-21/+19
2015-07-25Auto merge of #27258 - nikomatsakis:issue-26952, r=eddybbors-26/+40
2015-07-24Correct regression in type-inference caused by failing to reconfirm thatNiko Matsakis-26/+40
2015-07-24Unify the upvar variables found in closures with the actual types of theNiko Matsakis-58/+29
2015-07-24Introduce ClosureSubsts rather than just having random fields in theNiko Matsakis-15/+12
2015-07-24introduce a Vec<Ty> to TyClosure for storing upvar typesNiko Matsakis-11/+15
2015-07-14Transition to the new object lifetime defaults, replacing the oldNiko Matsakis-1/+0
2015-07-12Auto merge of #26895 - jroesch:modernize-typeck-names, r=nikomatsakisbors-3/+3
2015-07-12Implement RFC 1058Simonas Kazlauskas-1/+1
2015-07-10Rename TypeWithMutability to TypeAndMutJared Roesch-3/+3
2015-07-08Remove snake_case names from ty.rsJared Roesch-3/+3
2015-07-04rustc: compute the vtable base of a supertrait during selection. Fixes #26339.Eduard Burtescu-41/+32
2015-07-03Add a boolean flag to ExistentialBounds tracking whether theNiko Matsakis-0/+1
2015-06-30Remove Typer and ClosureTyperJared Roesch-15/+9
2015-06-27Ground work for replacing the ClosureTyper traitJared Roesch-0/+2
2015-06-26rustc: switch most remaining middle::ty functions to methods.Eduard Burtescu-18/+18
2015-06-26rustc: make ty::mk_* constructors into methods on ty::ctxt.Eduard Burtescu-2/+2
2015-06-26rustc: move some functions in middle::ty working on Ty to methods.Eduard Burtescu-4/+4
2015-06-26rustc: combine type-flag-checking traits and fns and into one trait.Eduard Burtescu-4/+4
2015-06-25Rename AsPredicate to ToPredicate in order to match naming conventionsJared Roesch-6/+6
2015-06-19rustc: remove Repr and UserString.Eduard Burtescu-142/+141
2015-06-19rustc: replace Repr/UserString impls with Debug/Display ones.Eduard Burtescu-30/+7
2015-06-19Clean up unused argument/variable warnings.Eduard Burtescu-2/+1
2015-06-19rustc: use the TLS type context in Repr and UserString.Eduard Burtescu-97/+97
2015-06-18Normalize associated types in closure signaturesAriel Ben-Yehuda-19/+53
2015-06-15Rather than expanding the where-clauses in the environment over and overNiko Matsakis-7/+3
2015-06-15Add a (somewhat hacky) cache to the tcx that tracks "global" trait refsNiko Matsakis-0/+8
2015-06-12Split TyArray into TyArray and TySlice.Eli Friedman-25/+8
2015-06-12Cleanup: rename middle::ty::sty and its variants.Eli Friedman-78/+78
2015-06-10Removed many pointless calls to *iter() and iter_mut()Joshua Landau-4/+4
2015-06-08Fixed old occurences of the removed array syntaxMarcel Müller-2/+2
2015-06-05Allow nested generics for the last field of structs in unsizing.Eduard Burtescu-15/+31
2015-06-04Use a plain Vec instead of VecPerParamSpace in trait selection.Ariel Ben-Yehuda-17/+16
2015-05-13Auto merge of #25344 - arielb1:fresh-float, r=nikomatsakisbors-2/+4
2015-05-13Fix binder skippingNick Cameron-5/+26
2015-05-13RebasingNick Cameron-3/+4
2015-05-13eddyb's changes for DST coercionsNick Cameron-7/+236
2015-05-12Create a FreshFloatTy separate from FreshIntTyAriel Ben-Yehuda-2/+4
2015-05-12Auto merge of #23424 - arielb1:ambiguous-project, r=nikomatsakisbors-67/+103
2015-05-07Select projections over impls in case of ambiguity. Fixes #23336.Ariel Ben-Yehuda-67/+103
2015-05-03Update old uses of ~ in comments and debugging statementsCarol Nichols-3/+3