about summary refs log tree commit diff
path: root/src/librustc_traits
AgeCommit message (Expand)AuthorLines
2018-09-22Stabilize crate_in_paths, extern_absolute_paths and extern_prelude on all edi...Eduard-Mihai Burtescu-2/+2
2018-09-11stabalize infer outlives requirements (RFC 2093).toidiu-1/+0
2018-09-05Changing TyAnon -> TyOpaque and relevant functionsms2300-2/+2
2018-08-27Auto merge of #53441 - toidiu:ak-fix53419, r=nikomatsakisbors-0/+1
2018-08-25Auto merge of #53385 - matklad:stabilize-find-map, r=KodrAusbors-1/+0
2018-08-24check that adding infer-outlives requirement to all crates worksNiko Matsakis-0/+1
2018-08-23Use optimized SmallVec implementationIgor Gutorov-1/+3
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-3/+3
2018-08-22Remove Ty prefix from Ty{Adt|Array|Slice|RawPtr|Ref|FnDef|FnPtr|Dynamic|Closu...varkor-17/+17
2018-08-22Rename ty::Slice to ty::Listvarkor-3/+3
2018-08-21Rollup merge of #53496 - matthiaskrgr:codespell_08_2018, r=varkorkennytm-1/+1
2018-08-19mv (mod) codemap source_mapDonato Sciarra-3/+3
2018-08-19Fix typos found by codespell.Matthias Krüger-1/+1
2018-08-17rustc_resolve: don't allow paths starting with `::crate`.Eduard-Mihai Burtescu-1/+1
2018-08-15Stablize Iterator::find_mapAleksey Kladov-1/+0
2018-08-09[nll] librustc_traits: enable feature(nll) for bootstrapmemoryruins-0/+1
2018-07-29Auto merge of #52767 - ljedrz:avoid_format, r=petrochenkovbors-1/+1
2018-07-27Prefer to_string() to format!()ljedrz-1/+1
2018-07-25Deny bare_trait_objects globallyTatsuyuki Ishi-2/+0
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