summary refs log tree commit diff
path: root/src/librustc/traits
AgeCommit message (Expand)AuthorLines
2019-02-22partially revert 904a0bde93f0348f69914ee90b1f8b6e4e0d7cbcNiko Matsakis-1/+19
2019-02-22introduce a dummy leak check and invoke it in all the right placesNiko Matsakis-24/+61
2019-02-22s/skol_/placeholder_/Niko Matsakis-10/+10
2019-02-17Make `intern_lazy_const` actually intern its argument.Nicholas Nethercote-4/+4
2019-01-13Suggest removal of semicolon when appropriateEsteban Küber-1/+6
2019-01-13Tweak output of type mismatch between "then" and `else` `if` armsEsteban Küber-3/+6
2019-01-13Rollup merge of #57366 - estebank:point-match-discrim, r=varkorMazdak Farrokhzad-4/+12
2019-01-12Point at the match discriminant when arm pattern has a type mismatchEsteban Küber-4/+12
2019-01-11Auto merge of #57355 - arielb1:correct-subst, r=nikomatsakisbors-9/+24
2019-01-05use the correct supertrait substitution in `object_ty_for_trait`Ariel Ben-Yehuda-9/+24
2019-01-05Rollup merge of #57229 - mikeyhew:fix-56806, r=varkorkennytm-5/+18
2019-01-05Auto merge of #56837 - arielb1:nonprincipal-trait-objects, r=nikomatsakisbors-51/+50
2019-01-05Auto merge of #56145 - weiznich:re_rebalance_coherence, r=nikomatsakisbors-32/+57
2019-01-04use `delay_span_bug` instead of `bug!` when doing layout sanity checkMichael Hewson-5/+18
2019-01-04Auto merge of #56723 - oli-obk:lazy_const, r=nikomatsakisbors-15/+14
2019-01-04implement a hack to make traitobject 0.1.0 compileAriel Ben-Yehuda-13/+57
2019-01-04Revert "add coherence future-compat warnings for marker-only trait objects"Ariel Ben-Yehuda-76/+16
2019-01-04add support for principal-less trait object typesAriel Ben-Yehuda-7/+22
2019-01-03Directly check if input_ty is a type parameter and therefore aGeorg Semmler-41/+1
2019-01-03Fix tidyGeorg Semmler-4/+4
2019-01-03Implement the re-rebalance coherence rfcGeorg Semmler-30/+95
2019-01-02try to detect affected code and direct people to #56105Niko Matsakis-7/+42
2019-01-02track if any region constraints involved placeholdersNiko Matsakis-4/+3
2019-01-02universe transitionNiko Matsakis-134/+59
2019-01-02select.rs: unsizing coercion should use a subtypeNiko Matsakis-2/+2
2019-01-02introduce ability to detect region constraints from snapshotNiko Matsakis-8/+22
2019-01-02make evaluation track whether outlives relationships matteredNiko Matsakis-106/+62
2019-01-02remove wrapper functions that had no purposeNiko Matsakis-56/+37
2019-01-02remove `commit_if_ok` wrapperNiko Matsakis-10/+1
2019-01-01Simplify and fix some diagnostics around arraysOliver Scherer-14/+10
2019-01-01Move the `Unevaluated` constant arm upwards in the type structureOliver Scherer-24/+27
2018-12-30Stop well-formedness checking unreachable code.David Wood-61/+1
2018-12-30Always check well-formedness.David Wood-2/+62
2018-12-27Use `TraitEngine` in `enter_canonical_trait_query`scalexm-5/+8
2018-12-27Handle sub-typing in chalk-enginescalexm-0/+4
2018-12-27Integrate chalk enginescalexm-41/+218
2018-12-27Add a def-id in `ty::ParamEnv`scalexm-6/+21
2018-12-27Implement "lifetime juggling" methods from chalk integration traitscalexm-3/+39
2018-12-27Auto merge of #56838 - Aaron1011:fix/rustdoc-infer-unify, r=nikomatsakisbors-2/+2
2018-12-26Various changes to string format diagnosticsEsteban Küber-2/+2
2018-12-25Remove licensesMark Rousskov-310/+0
2018-12-23Rollup merge of #56984 - ljedrz:dropck_outlives_tweaks, r=oli-obkkennytm-8/+7
2018-12-22Auto merge of #56862 - arielb1:fundamentally-clean, r=nikomatsakisbors-4/+3
2018-12-19Auto merge of #54252 - arielb1:deref-query, r=nikomatsakisbors-3/+79
2018-12-19dropck: remove unnecessary call to cloned()ljedrz-1/+1
2018-12-19dropck: simplify common patternsljedrz-7/+6
2018-12-18Auto merge of #56863 - arielb1:supertrait-self-4, r=nikomatsakisbors-1/+20
2018-12-18Auto merge of #56481 - arielb1:dynamic-order, r=nikomatsakisbors-16/+76
2018-12-16fix trait objects with a Self-having projection vaAriel Ben-Yehuda-1/+20
2018-12-15stop treating trait objects from #[fundamental] traits as fundamentalAriel Ben-Yehuda-4/+3