about summary refs log tree commit diff
path: root/src/librustc/traits
AgeCommit message (Expand)AuthorLines
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-08Reattach all grandchildren when constructing specialization graph.Masaki Hara-8/+19
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
2018-09-30Typos and style fixes.Diogo Sousa-16/+17
2018-09-29don't elide lifetimes in paths in librustc/Zack M. Davis-50/+51
2018-09-28rustc: keep a Span for each predicate in ty::GenericPredicates.Eduard-Mihai Burtescu-12/+11
2018-09-26Auto merge of #54453 - nikomatsakis:nll-issue-53121-shred-outlives, r=pnkfelixbors-72/+61
2018-09-26convert from an `UnlessNll` flag to a `SuppressRegionErrors` flagNiko Matsakis-2/+2
2018-09-26apply `process_registered_region_obligations` at the end of regionckNiko Matsakis-7/+4
2018-09-26use `RegionBoundPairs` type aliasNiko Matsakis-1/+1
2018-09-26auto_trait.rs: rustfmtNiko Matsakis-34/+30
2018-09-26change `RegionObligation` to store a `SubregionOrigin`Niko Matsakis-30/+20
2018-09-26use a `UnlessNll` flag to consolidate error reporting pathsNiko Matsakis-1/+7
2018-09-26Auto merge of #54199 - nikomatsakis:predicate_may_hold-failure, r=eddybbors-10/+29
2018-09-22Rollup merge of #54370 - nnethercote:better-domain_size, r=nikomatsakisPietro Albini-2/+2
2018-09-20Rollup merge of #54346 - eddyb:constant-horror, r=nikomatsakiskennytm-1/+5
2018-09-20Rollup merge of #54295 - ljedrz:cleanups_rustc_traits, r=nikomatsakiskennytm-465/+404
2018-09-20Improve handling of type bounds in `bit_set.rs`.Nicholas Nethercote-2/+2
2018-09-19rustc: future-proof error reporting for polymorphic constants in types.Eduard-Mihai Burtescu-1/+5
2018-09-18A few cleanups and minor improvements to rustc/traitsljedrz-465/+404
2018-09-18Merge indexed_set.rs into bitvec.rs, and rename it bit_set.rs.Nicholas Nethercote-2/+2
2018-09-13expose `evaluate_obligation` that captures overflow, use in rustdocNiko Matsakis-7/+16
2018-09-13don't cache overflow results globallyNiko Matsakis-1/+4
2018-09-13give a more informative failure in this caseNiko Matsakis-1/+8
2018-09-10renamed mk_nil to mk_unitkenta7777-1/+1
2018-09-05Changing TyAnon -> TyOpaque and relevant functionsms2300-12/+12
2018-08-30Rollup merge of #53513 - nnethercote:inline-shallow_resolve, r=varkorPietro Albini-1/+2