about summary refs log tree commit diff
path: root/src/librustc/traits
AgeCommit message (Expand)AuthorLines
2018-06-28Move everything over from `middle::const_val` to `mir::interpret`Oliver Schneider-5/+4
2018-06-28Move the Lrc outside the error type and name the fieldsOliver Schneider-5/+7
2018-06-28Address review commentsOliver Schneider-2/+2
2018-06-28Eliminate old CTFE's `ErrKind`Oliver Schneider-2/+4
2018-06-28Use `Ident`s for associated item definitions in HIRVadim Petrochenkov-13/+12
2018-06-28Use `Ident`s for associated type bindings in HIRVadim Petrochenkov-3/+4
2018-06-28Auto merge of #51538 - nikomatsakis:nll-perf-examination, r=eddybbors-150/+828
2018-06-28Rollup merge of #51658 - oli-obk:unregress_perf, r=nikomatsakiskennytm-3/+3
2018-06-27rustfmt various filesNiko Matsakis-5/+9
2018-06-27change the `enter_canonical_trait_query` method to give a fulfill cxNiko Matsakis-33/+31
2018-06-27update commentsNiko Matsakis-3/+15
2018-06-27rename `prequery` to `try_fast_path`Niko Matsakis-7/+7
2018-06-27pull out `ParamEnvAnd` and remove `QueryKey`Niko Matsakis-153/+150
2018-06-27rename to `shrink_to_tcx_lifetime`Niko Matsakis-13/+13
2018-06-27improve comments on `dropck_outlives`Niko Matsakis-0/+15
2018-06-27rename `upcast` to `cast_to_tcx_lifetime` and improve commentNiko Matsakis-16/+21
2018-06-26convert query-type-op to create query-region-constraint directlyNiko Matsakis-148/+133
2018-06-26convert `dropck_outlives` type-op to use the queryNiko Matsakis-32/+67
2018-06-26introduce `QueryKey` separationNiko Matsakis-3/+27
2018-06-26Flatten some occurrences of `[P<T>]` to `[T]`Oliver Schneider-1/+1
2018-06-26transition to `Fallible`Niko Matsakis-33/+55
2018-06-26introduce `Normalizable` trait for things directly normalizableNiko Matsakis-41/+180
2018-06-26convert `prove_predicate` into a queryNiko Matsakis-14/+38
2018-06-26convert `predicates` to operate on 1 predicate at a timeNiko Matsakis-19/+12
2018-06-26make `Subtype` a true queryNiko Matsakis-13/+41
2018-06-26make `Eq` a true queryNiko Matsakis-22/+13
2018-06-26introduce `canonicalize_hr_query_hack`Niko Matsakis-1/+5
2018-06-26move `type_op` into `rustc`Niko Matsakis-0/+495
2018-06-26remove `Canonicalization` trait, which serves no purposeNiko Matsakis-72/+5
2018-06-26rename `instantiate_query_result`Niko Matsakis-2/+2
2018-06-26make one `Canonicalize` impl for `QueryResult`Niko Matsakis-28/+2
2018-06-26improve `trivial_case` handlingNiko Matsakis-1/+1
2018-06-26Use proper debugging statements for infinite recursion assertionOliver Schneider-3/+3
2018-06-26Rollup merge of #51769 - alexcameron89:update_rustc_guide_links, r=frewsxcvPietro Albini-7/+7
2018-06-25Make where clause object safety be a warn-by-default lintleonardo.yvens-3/+31
2018-06-25`Self` in where clauses may not be object safeleonardo.yvens-0/+11
2018-06-24Update broken rustc-guide linksAlex Kitchens-7/+7
2018-06-23hygiene: Merge `NameAndSpan` into `ExpnInfo`Vadim Petrochenkov-2/+1
2018-06-22Auto merge of #51433 - scalexm:finish-rules, r=nikomatsakisbors-47/+102
2018-06-20Remove all traces of lifetimes() and types() methodsvarkor-5/+3
2018-06-18Auto merge of #51414 - oli-obk:impl_trait_type_def, r=pnkfelixbors-0/+5
2018-06-16Auto merge of #51550 - eddyb:queries-not-maps, r=nikomatsakisbors-2/+2
2018-06-16Auto merge of #51411 - nnethercote:process_predicate, r=nikomatsakisbors-249/+253
2018-06-14rustc: rename ty::maps to ty::query.Eduard-Mihai Burtescu-2/+2
2018-06-09Auto merge of #51042 - matthewjasper:reenable-trivial-bounds, r=nikomatsakisbors-16/+61
2018-06-08Rollup merge of #51412 - nnethercote:pending_obligations, r=estebankMark Rousskov-4/+4
2018-06-08Reenable trivial boundsMatthew Jasper-16/+61
2018-06-08Avoid useless Vec clones in pending_obligations().Nicholas Nethercote-4/+4
2018-06-07Add existential type definitonsOliver Schneider-0/+5
2018-06-07Introduce `ProcessResult`.Nicholas Nethercote-37/+41