summary refs log tree commit diff
path: root/src/librustc/traits
AgeCommit message (Expand)AuthorLines
2018-11-20Fix Rustdoc ICE when checking blanket implsAaron Hill-0/+35
2018-11-19improve debug output related to bound calculationNiko Matsakis-1/+6
2018-11-10Bubble up an overflow error so that rustdoc can ignore itOliver Scherer-1/+1
2018-10-29add user_ty.projs support to `AscribeUserType`.Felix S. Klock II-4/+7
2018-10-29Remove redundant cloneShotaro Yamada-3/+3
2018-10-25Auto merge of #55347 - pietroalbini:rollup, r=pietroalbinibors-2/+2
2018-10-25Rollup merge of #55282 - sinkuu:redundant_clone, r=estebankPietro Albini-1/+1
2018-10-24port the relate-types code from NLL type-check into a type-opNiko Matsakis-7/+10
2018-10-24introduce (but do not use) `ascribe_user_type` goalNiko Matsakis-0/+78
2018-10-23fix typos in various placesMatthias Krüger-1/+1
2018-10-23Remove redundant cloneShotaro Yamada-1/+1
2018-10-20Rename InferTy::CanonicalTy to BoundTy and add DebruijnIndex to variant typeFabian Drinck-3/+3
2018-10-20Auto merge of #55014 - ljedrz:lazyboye_unwraps, r=matthewjasperbors-4/+4
2018-10-19Free some memory instead of just dropping elementsOliver Scherer-2/+4
2018-10-19Prefer `Default::default` over `FxHash*::default` in struct constructorsOliver Scherer-46/+9
2018-10-19Deprecate the `FxHashMap()` and `FxHashSet()` constructor function hackOliver Scherer-13/+13
2018-10-19Prefer unwrap_or_else to unwrap_or in case of function calls/allocationsljedrz-4/+4
2018-10-19Auto merge of #55040 - scalexm:param-env, r=nikomatsakisbors-3/+95
2018-10-18Auto merge of #54979 - estebank:path-unsized, r=nikomatsakisbors-0/+3
2018-10-17Categorize chalk clausesscalexm-3/+28
2018-10-17Implement the `environment` queryscalexm-6/+7
2018-10-17Use `Environment` instead of `ty::ParamEnv` in chalk contextscalexm-1/+67
2018-10-17Auto merge of #54946 - estebank:iterator, r=varkorbors-3/+34
2018-10-16Change Scalar to numeric castEsteban Küber-1/+2
2018-10-16Auto merge of #55067 - ljedrz:generic_iterator_related_improvements, r=petroc...bors-7/+4
2018-10-15hide `SmallCanonicalVarValues` in `OriginalQueryValues` structNiko Matsakis-11/+11
2018-10-15type_op/mod.rs: rustfmtNiko Matsakis-2/+3
2018-10-15rename `QueryResult` to `QueryResponse`Niko Matsakis-68/+68
2018-10-14create only one vector when winnowing candidatesljedrz-7/+4
2018-10-13Check the invariant for `principal` inside the methodOliver Scherer-27/+10
2018-10-11review commentsEsteban Küber-1/+1
2018-10-10Custom E0277 diagnostic for `Path`Esteban Küber-0/+3
2018-10-09Add more targetting filters for arrays to rustc_on_unimplementedEsteban Küber-4/+34
2018-10-08Pass around interned refs to goals and not goalsscalexm-27/+29
2018-10-05Rollup merge of #54787 - varkor:unused-mut-in-desugaring, r=nikomatsakisPietro Albini-5/+17
2018-10-04s/skol_predicate/placeholder_predicateNiko Matsakis-2/+2
2018-10-04remove occurences of `skolemization`Niko Matsakis-4/+3
2018-10-04remove all occurences of `skolemize`Niko Matsakis-1/+1
2018-10-04extend NLL universe code to have >1 placeholder within one universeNiko Matsakis-4/+5
2018-10-04rename skolemized to placeholderNiko Matsakis-57/+62
2018-10-04select.rs: rustfmtNiko Matsakis-1107/+1347
2018-10-04Ignore desugarings when comparing duplicate trait error messagesvarkor-5/+17
2018-10-04Rollup merge of #54789 - scalexm:unnormalized, r=nikomatsakisPietro Albini-1/+8
2018-10-04Auto merge of #54624 - arielb1:evaluate-outlives, r=nikomatsakisbors-5/+89
2018-10-03Introduce `TyKind::UnnormalizedProjection`scalexm-1/+8
2018-10-01add a special case for literal `'static: 'a` where-clausesAriel Ben-Yehuda-15/+31
2018-10-01enable using the evaluation cache on predicates with LBRsAriel Ben-Yehuda-1/+1
2018-10-01handle outlives predicates in trait evaluationAriel Ben-Yehuda-4/+72
2018-10-01normalize param-env type-outlives predicates lastAriel Ben-Yehuda-56/+117
2018-09-30Auto merge of #53255 - orium:fix-bug-overflow-send, r=arielb1bors-16/+17