summary refs log tree commit diff
path: root/src/librustc/middle/traits
AgeCommit message (Expand)AuthorLines
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-19/+14
2015-07-24introduce a Vec<Ty> to TyClosure for storing upvar typesNiko Matsakis-13/+19
2015-07-18Auto merge of #27096 - apasel422:issue-26217, r=nikomatsakisbors-8/+24
2015-07-17clarify that `T` does not contain `'a`Andrew Paseltiner-2/+2
2015-07-17treat `for<'a> T: 'a` as `T: 'static`Andrew Paseltiner-8/+24
2015-07-17Auto merge of #27045 - nikomatsakis:better-object-defaults-error, r=pnkfelixbors-1/+0
2015-07-14Change int/uint => isize/usize in compiler docs.Nick Hamann-38/+38
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-5/+5
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-5/+5
2015-07-04rustc: compute the vtable base of a supertrait during selection. Fixes #26339.Eduard Burtescu-84/+74
2015-07-04rustc: simplify ty::MethodOrigin and avoid trait item indices.Eduard Burtescu-14/+17
2015-07-03Add a boolean flag to ExistentialBounds tracking whether theNiko Matsakis-0/+1
2015-07-02Auto merge of #26677 - jroesch:fulfillment-context-refactor, r=nrcbors-36/+38
2015-07-01Address nitsJared Roesch-2/+2
2015-06-30Auto merge of #26686 - arielb1:associated-type-defaults-actually-work, r=eddybbors-0/+3
2015-06-30Actually encode default associated typesAriel Ben-Yehuda-0/+3
2015-06-30Clean up patchJared Roesch-9/+13
2015-06-30Remove Typer and ClosureTyperJared Roesch-33/+21
2015-06-30Remove Typer + ClosureTyper impls for ParameterEnvJared Roesch-3/+2
2015-06-30Use fresh FulfillmentContexts in select locationsJared Roesch-3/+13
2015-06-30Update all uses of FulfillmentContextJared Roesch-2/+3
2015-06-30Move FufillmentContext into InferContextJared Roesch-1/+1
2015-06-30Kill count_late_bound_regionsAriel Ben-Yehuda-12/+12
2015-06-27Address nitsJared Roesch-1/+1
2015-06-27Ground work for replacing the ClosureTyper traitJared Roesch-1/+3
2015-06-27Begin refactor type checking stateJared Roesch-6/+7
2015-06-26rustc: switch most remaining middle::ty functions to methods.Eduard Burtescu-52/+52
2015-06-26rustc: make ty::mk_* constructors into methods on ty::ctxt.Eduard Burtescu-7/+7
2015-06-26rustc: move some functions in middle::ty working on Ty to methods.Eduard Burtescu-6/+6
2015-06-26rustc: combine type-flag-checking traits and fns and into one trait.Eduard Burtescu-17/+16
2015-06-25Rename AsPredicate to ToPredicate in order to match naming conventionsJared Roesch-17/+17
2015-06-19Remove extra fmt::Debug impl for VtableClosureData from #26147.Eduard Burtescu-6/+0
2015-06-19rustc: remove Repr and UserString.Eduard Burtescu-292/+284
2015-06-19rustc: replace Repr/UserString impls with Debug/Display ones.Eduard Burtescu-188/+79
2015-06-19Clean up unused argument/variable warnings.Eduard Burtescu-21/+8
2015-06-19rustc: use the TLS type context in Repr and UserString.Eduard Burtescu-269/+269
2015-06-18Normalize associated types in closure signaturesAriel Ben-Yehuda-42/+118
2015-06-18Simplify and type_known_to_meet_builtin_bound and make it more correct whenAriel Ben-Yehuda-59/+16
2015-06-17Auto merge of #26326 - nikomatsakis:optimize-fulfillment-cache-in-tcx, r=pcwa...bors-29/+116
2015-06-15Rather than expanding the where-clauses in the environment over and overNiko Matsakis-22/+37
2015-06-15Add a (somewhat hacky) cache to the tcx that tracks "global" trait refsNiko Matsakis-7/+79
2015-06-15Make impl-trait-ref associated types work in methodsAriel Ben-Yehuda-0/+4
2015-06-12Split TyArray into TyArray and TySlice.Eli Friedman-25/+9
2015-06-12Cleanup: rename middle::ty::sty and its variants.Eli Friedman-116/+116
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-10 23:01:43 +0000