about summary refs log tree commit diff
path: root/src/librustc/traits
AgeCommit message (Expand)AuthorLines
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
2018-12-14Call poly_project_and_unify_type on types that contain inference typesAaron Hill-2/+2
2018-12-15move overflow error reporting out of the queryAriel Ben-Yehuda-2/+5
2018-12-15make autoderef steps a queryAriel Ben-Yehuda-0/+53
2018-12-14add coherence future-compat warnings for marker-only trait objectsAriel Ben-Yehuda-16/+76
2018-12-14process nested obligations in autoderefAriel Ben-Yehuda-3/+23
2018-12-12specialize: remove Boxes used by Children::insertljedrz-8/+33
2018-12-07Re-added accidentally-removed imports.Alexander Regueiro-1/+5
2018-12-07Various minor/cosmetic improvements to codeAlexander Regueiro-100/+100
2018-12-07Auto merge of #56502 - Zoxc:hir-func, r=eddybbors-15/+15
2018-12-06Auto merge of #55318 - Aaron1011:fix/final-auto-trait-resolve, r=nikomatsakisbors-17/+81
2018-12-06Use a function to access the Hir map to be able to turn it into a query laterJohn Kåre Alsaker-15/+15
2018-12-03pass the parameter environment to `traits::find_associated_item`Ariel Ben-Yehuda-3/+13
2018-12-01Rollup merge of #56355 - Zoxc:inline-things, r=michaelwoeristerkennytm-0/+1
2018-12-01Rollup merge of #55821 - ljedrz:cached_key_sorts, r=michaelwoeristerkennytm-1/+1
2018-11-29Add inline attributes and add unit to CommonTypesJohn Kåre Alsaker-0/+1
2018-11-28Filter out self-referential projection predicatesAaron Hill-1/+26
2018-11-28Check all substitution parameters for inference variablesAaron Hill-3/+8
2018-11-28Ensure that Rusdoc discovers all necessary auto trait boundsAaron Hill-17/+51
2018-11-27Use sort_by_cached_key when key the function is not trivial/freeljedrz-1/+1
2018-11-26rustc-guide has movedMark Mansi-8/+8