about summary refs log tree commit diff
path: root/src/librustc/traits
AgeCommit message (Expand)AuthorLines
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-04Refactor the chalkify lowering processscalexm-47/+102
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
2018-05-15Prefer iterator to vecvarkor-5/+5
2018-05-15Consolidate ty::Genericsvarkor-4/+4
2018-05-15Rollup merge of #50712 - leodasvacas:improve-eager-resolution-error-message, ...Guillaume Gomez-5/+5
2018-05-15Feature gate trivial boundsMatthew Jasper-0/+12
2018-05-15Implement RFC 2056 - trivial constraintsMatthew Jasper-46/+28
2018-05-13Improve eager type resolution error messageleonardo.yvens-5/+5
2018-05-12Better error reporting in Copy deriveleonardo.yvens-33/+4
2018-05-10Auto merge of #50395 - Zoxc:small-tys, r=michaelwoeristerbors-25/+25
2018-05-09Auto merge of #49834 - Zoxc:sync-trait-cache, r=nikomatsakisbors-10/+17