summary refs log tree commit diff
path: root/src/librustc/traits/mod.rs
AgeCommit message (Expand)AuthorLines
2020-01-21Rollup merge of #68140 - ecstatic-morse:const-trait-bound-opt-out, r=oli-obkMazdak Farrokhzad-2/+2
2020-01-21Rollup merge of #68297 - Aaron1011:fix/new-const-prop-bounds, r=oli-obkYuki Okushi-12/+8
2020-01-20Add `ConstnessAnd` that implements `ToPredicate`Dylan MacKenzie-2/+2
2020-01-16Revert previous attempt at detecting unsatisfiable predicatesAaron Hill-12/+8
2020-01-16review commentsEsteban Küber-1/+1
2020-01-16review commentsEsteban Küber-7/+7
2020-01-16Specific error for unsized `dyn Trait` return typeEsteban Küber-0/+11
2020-01-13Use TraitQueryMode::Canonical when testing predicates in const propAaron Hill-7/+11
2020-01-07Rename traits::drop -> traits::misc.Camille GILLOT-2/+2
2020-01-07Move magic traits queries to rustc::traits::drop.Camille GILLOT-0/+2
2020-01-07Move structural_match to rustc::traits.Camille GILLOT-0/+4
2020-01-07Move ty::wf to traits.Camille GILLOT-0/+1
2020-01-07Make traits::util::* free functions.Camille GILLOT-0/+4
2020-01-07Make rustc::traits::object_safety::{astconv_object_safety_violations,is_vtabl...Camille GILLOT-1/+4
2020-01-05Remove rustc_hir reexports in rustc::hir.Mazdak Farrokhzad-2/+2
2020-01-01Rename `syntax_pos` to `rustc_span` in source codeVadim Petrochenkov-1/+1
2019-12-30discriminant -> scrutineeMazdak Farrokhzad-1/+1
2019-12-30Blame user type in pat type error.Mazdak Farrokhzad-2/+6
2019-12-30MatchExpressionArmPattern -> PatternMazdak Farrokhzad-2/+2
2019-12-24x.py fmt after previous deignoreMark Rousskov-221/+232
2019-12-20Check associated type implementations for generic mismatchesMatthew Jasper-0/+7
2019-11-21Applied suggestions from code review.Alexander Regueiro-1/+1
2019-11-21Aggregation of drive-by cosmetic changes.Alexander Regueiro-18/+17
2019-11-18Retire EnumLiftImpl.Camille GILLOT-5/+5
2019-11-17Auto merge of #66384 - cjgillot:typefoldable, r=Zoxcbors-29/+19
2019-11-15Correct `const_in_array_repeat_expressions` feature nameYuki Okushi-1/+1
2019-11-13Use TypeFoldable derive macro.Camille GILLOT-29/+19
2019-10-31Point at where clauses where the associated item was restrictedEsteban Küber-1/+8
2019-10-28suggest `const_in_array_repeat_expression` flagDavid Wood-2/+3
2019-10-27Auto merge of #65519 - pnkfelix:issue-63438-trait-based-structural-match, r=m...bors-0/+3
2019-10-27Auto merge of #65288 - estebank:point-at-assoc-type, r=nikomatsakisbors-0/+2
2019-10-25Migrate from `#[structural_match]` attribute a lang-item trait.Felix S. Klock II-0/+3
2019-10-22Point at associated type for some obligationsEsteban Küber-0/+2
2019-10-22RFC 2027: "first draft" of implementationMathias Blikstad-0/+3
2019-10-04replace GeneratorSubsts inside related typescsmoe-1/+1
2019-10-03generate ClosureSubsts from SubstsRefcsmoe-1/+1
2019-09-24Remove blanket silencing of "type annotation needed" errorsEsteban Küber-5/+8
2019-09-22On obligation errors point at the unfulfilled binding when possibleEsteban Küber-0/+3
2019-09-21Rollup merge of #63907 - estebank:assoc-type-mismatch, r=oli-obkMazdak Farrokhzad-5/+5
2019-09-19review commentsEsteban Küber-0/+3
2019-09-19When possible, suggest fn callEsteban Küber-2/+3
2019-09-18Add explanation to type mismatch involving type params and assoc typesEsteban Küber-5/+5
2019-09-09Shrink `ObligationCauseCode` by boxing `IfExpression`.Nicholas Nethercote-7/+10
2019-09-09Shrink `ObligationCauseCode` by boxing `MatchExpressionArm`.Nicholas Nethercote-10/+14
2019-09-09Add some assertions on obligation type sizes.Nicholas Nethercote-0/+8
2019-06-26Don't use lift to detect local typesJohn Kåre Alsaker-7/+15
2019-06-20replace NodeId with HirId in traits::ObligationCauseCodeljedrz-1/+1
2019-06-14Run `rustfmt --file-lines ...` for changes from previous commits.Eduard-Mihai Burtescu-3/+4
2019-06-14Unify all uses of 'gcx and 'tcx.Eduard-Mihai Burtescu-19/+19
2019-06-12Run `rustfmt --file-lines ...` for changes from previous commits.Eduard-Mihai Burtescu-24/+23