about summary refs log tree commit diff
path: root/src/librustc_traits
AgeCommit message (Expand)AuthorLines
2018-11-03Shift both late bound regions and bound typesscalexm-1/+1
2018-11-03Move `BoundTy` to `ty::TyKind`scalexm-1/+3
2018-11-03If we encounter `_` ascribed to structural pattern like `(a, b)`, just skip r...Felix S. Klock II-6/+24
2018-10-29Change a flat_map with 0/1-element vecs to a filter_mapljedrz-6/+6
2018-10-26add user_ty.projs support to `AscribeUserType`.Felix S. Klock II-4/+20
2018-10-24port the relate-types code from NLL type-check into a type-opNiko Matsakis-5/+147
2018-10-24introduce (but do not use) `ascribe_user_type` goalNiko Matsakis-0/+14
2018-10-20Rollup merge of #55203 - scalexm:program-clauses, r=nikomatsakisManish Goregaokar-25/+214
2018-10-19Write an initial version of the `program_clauses` callbackscalexm-25/+214
2018-10-19Deprecate the `FxHashMap()` and `FxHashSet()` constructor function hackOliver Scherer-5/+5
2018-10-17Re-use memory in `program_clauses_for_env`scalexm-5/+5
2018-10-17Implement `InferenceTable::add_clauses`scalexm-8/+12
2018-10-17Add tests for `program_clauses_for_env`scalexm-5/+6
2018-10-17Categorize chalk clausesscalexm-4/+20
2018-10-17Add `FromEnv` for input types in the environmentscalexm-4/+66
2018-10-17Implement the `environment` queryscalexm-0/+25
2018-10-17Visit tys in `program_clauses_for_env`scalexm-29/+66
2018-10-17Use `Environment` instead of `ty::ParamEnv` in chalk contextscalexm-98/+170
2018-10-15Auto merge of #55095 - Manishearth:rollup, r=Manishearthbors-5/+2
2018-10-15pacify the mercilous tidy with rustfmtNiko Matsakis-115/+122
2018-10-15hide `SmallCanonicalVarValues` in `OriginalQueryValues` structNiko Matsakis-3/+4
2018-10-15rename `QueryResult` to `QueryResponse`Niko Matsakis-17/+17
2018-10-15bundle up "canonical instantiation" with infcx creationNiko Matsakis-19/+13
2018-10-14Don't collect to vectors where unnecessaryljedrz-5/+2
2018-10-08Add chalk rules related to associated type defsscalexm-8/+85
2018-10-08Pass around interned refs to goals and not goalsscalexm-28/+36
2018-10-03Introduce `TyKind::UnnormalizedProjection`scalexm-0/+2
2018-09-30Auto merge of #54601 - cuviper:prep-1.31, r=Mark-Simulacrumbors-3/+1
2018-09-28rustc: keep a Span for each predicate in ty::GenericPredicates.Eduard-Mihai Burtescu-7/+16
2018-09-27Bump to 1.31.0 and bootstrap from 1.30 betaJosh Stone-3/+1
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