summary refs log tree commit diff
path: root/src/librustc/traits
AgeCommit message (Expand)AuthorLines
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
2018-06-07Inline `process_obligation`.Nicholas Nethercote-0/+4
2018-06-07Inline and remove `process_predicate`.Nicholas Nethercote-242/+235
2018-06-07Simplify `process_obligation`.Nicholas Nethercote-9/+12
2018-06-05Properly report transitive errorsOliver Schneider-2/+1
2018-06-05Refactor the const eval diagnostic APIOliver Schneider-3/+6
2018-06-02Fix typos of 'ambiguous'Jon Purdy-5/+5
2018-05-31change `PointerKind::Implicit` to a noteNiko Matsakis-6/+25
2018-05-28Auto merge of #50724 - zackmdavis:applicability_rush, r=Manishearthbors-13/+22
2018-05-26Use `Ident`s for fields in HIRVadim Petrochenkov-1/+1
2018-05-24implement the chalk traits, albeit with many placeholdersNiko Matsakis-145/+275
2018-05-23Rollup merge of #50932 - nnethercote:seen-Predicates, r=eddybkennytm-3/+18
2018-05-22Auto merge of #50876 - matthewjasper:rollback-trivial-bounds, r=nikomatsakisbors-0/+5
2018-05-21rustc: move TypeParamDef's fields into GenericParamDefKind::Type.Eduard-Mihai Burtescu-3/+3
2018-05-21rustc: don't call Kind::from directly, use .into() instead.Eduard-Mihai Burtescu-2/+2
2018-05-21rustc: make mk_substs_trait take &[Kind] instead of &[Ty].Eduard-Mihai Burtescu-18/+14
2018-05-21Optimize seen Predicate filtering.Nicholas Nethercote-3/+18
2018-05-20suggestion applicabilities for libsyntax and librustc, run-rustfix testsZack M. Davis-13/+22
2018-05-18Filter global bounds from ParamEnv again.Matthew Jasper-0/+5
2018-05-17Rollup merge of #50818 - nnethercote:faster-normalize, r=nikomatsakisMark Simulacrum-72/+108
2018-05-17Rename trans to codegen everywhere.Irina Popa-16/+16
2018-05-17Avoid allocations in `opt_normalize_projection_type`.Nicholas Nethercote-71/+90
2018-05-17Avoid repeated HashMap lookups in `opt_normalize_projection_type`.Nicholas Nethercote-1/+18
2018-05-16Auto merge of #48557 - matthewjasper:allow-trvial-bounds, r=nikomatsakisbors-47/+41
2018-05-15Auto merge of #48523 - varkor:generics-ty-generalisations, r=nikomatsakisbors-24/+41
2018-05-15Make is_global true for latebound regionsMatthew Jasper-1/+1
2018-05-15Add mk_param_from_defvarkor-1/+1
2018-05-15Use Kind instead of UnpackedKind in Substs methodsvarkor-5/+3
2018-05-15Refactor Substs methods on generic parametersvarkor-6/+12
2018-05-15Clean up generic param handlingvarkor-4/+3
2018-05-15Review refactoringvarkor-6/+7
2018-05-15Rename param_counts to own_countsvarkor-1/+1
2018-05-15Lift pure_wrt_drop to GenericParamDefvarkor-3/+3
2018-05-15Refactor generic params loopsvarkor-16/+18
2018-05-15Pull common parameters into GenericParamDefvarkor-14/+16
2018-05-15Inline get_typevarkor-10/+15
2018-05-15Refactor to address commentsvarkor-2/+1
2018-05-15Use GenericParamCount instead of FxHashMapvarkor-2/+2
2018-05-15Eliminate ty::Generics::types()varkor-4/+8
2018-05-15Generalise more cases of explicit iteration of specific kindsvarkor-4/+4
2018-05-15Generalise cases of explicit iteration of specific kindsvarkor-8/+9