about summary refs log tree commit diff
path: root/src/librustc_traits
AgeCommit message (Expand)AuthorLines
2018-07-21Convert implied_outlives_bounds to a queryTyler Mandry-0/+187
2018-07-18Auto merge of #52342 - nnethercote:CanonicalVar, r=nikomatsakisbors-5/+5
2018-07-17Avoid most allocations in `Canonicalizer`.Nicholas Nethercote-5/+5
2018-07-12Deny bare trait objects in the rest of rustljedrz-0/+2
2018-07-09Change wordingscalexm-20/+22
2018-07-07extend where clausescsmoe-15/+18
2018-07-06refactorcsmoe-35/+32
2018-07-05merge wellformed(wc)scsmoe-25/+17
2018-07-05split IntoWellFormedGoalcsmoe-4/+4
2018-07-05wellformed wccsmoe-22/+80
2018-07-02introduce `predicates_defined_on` for traitsNiko Matsakis-4/+2
2018-07-02use `ty::TraitRef::identity` where possibleNiko Matsakis-5/+1
2018-06-28Use `Ident`s for associated item definitions in HIRVadim Petrochenkov-1/+1
2018-06-28Use `Ident`s for associated type bindings in HIRVadim Petrochenkov-1/+1
2018-06-27rustfmt various filesNiko Matsakis-1/+2
2018-06-27change the `enter_canonical_trait_query` method to give a fulfill cxNiko Matsakis-29/+29
2018-06-27pull out `ParamEnvAnd` and remove `QueryKey`Niko Matsakis-22/+15
2018-06-27move into `provide` methodsNiko Matsakis-29/+73
2018-06-27merge all the `type_op_foo` modules into one as they are so trivialNiko Matsakis-111/+62
2018-06-27use query boiler plate for `normalize_projection_ty` tooNiko Matsakis-27/+33
2018-06-27use query boilerplate for prove-predicate -- slightly inefficientNiko Matsakis-11/+17
2018-06-27use query boilerplate for subtypeNiko Matsakis-14/+14
2018-06-27use query boilerplate for `normalize`Niko Matsakis-20/+16
2018-06-27extract out query boilerplate and use for `Eq`Niko Matsakis-14/+5
2018-06-26introduce `Normalizable` trait for things directly normalizableNiko Matsakis-0/+73
2018-06-26convert `prove_predicate` into a queryNiko Matsakis-0/+34
2018-06-26make `Subtype` a true queryNiko Matsakis-0/+37
2018-06-26make `Eq` a true queryNiko Matsakis-0/+37
2018-06-26remove `Canonicalization` trait, which serves no purposeNiko Matsakis-14/+1
2018-06-26move `make_query_response` into method on infcxNiko Matsakis-137/+18
2018-06-22Auto merge of #51433 - scalexm:finish-rules, r=nikomatsakisbors-81/+167
2018-06-14rustc: rename ty::maps to ty::query.Eduard-Mihai Burtescu-1/+1
2018-06-07Add rules for type well-formednessscalexm-4/+74
2018-06-04Refactor the chalkify lowering processscalexm-81/+97
2018-06-01Update recursion limitsJohn Kåre Alsaker-0/+2
2018-05-31Register outlives predicates from queries the right way around.Matthew Jasper-5/+7
2018-05-24pacify the mercilous tidyNiko Matsakis-0/+10
2018-05-24implement the chalk traits, albeit with many placeholdersNiko Matsakis-1/+521
2018-05-21rustc: use intern_* instead of mk_* where possible.Eduard-Mihai Burtescu-4/+4
2018-05-17Rollup merge of #50818 - nnethercote:faster-normalize, r=nikomatsakisMark Simulacrum-6/+4
2018-05-17Avoid allocations in `opt_normalize_projection_type`.Nicholas Nethercote-6/+4
2018-05-15Clean up dropck_outlives PhantomData handlingvarkor-7/+4
2018-05-15Add mk_param_from_defvarkor-3/+8
2018-05-15Pull common parameters into GenericParamDefvarkor-6/+4
2018-05-15Inline get_typevarkor-2/+6
2018-05-15Refactor to address commentsvarkor-6/+1
2018-05-15Generalise more cases of explicit iteration of specific kindsvarkor-2/+7
2018-05-15Fix generics type parameter handling in mirivarkor-1/+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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-28 22:01:07 +0000