about summary refs log tree commit diff
path: root/src/librustc_traits
AgeCommit message (Expand)AuthorLines
2019-04-28Fix lint findings in librustc_traitsflip1995-32/+32
2019-04-27Rollup merge of #60292 - varkor:ty-tuple-substs, r=nikomatsakisMazdak Farrokhzad-14/+20
2019-04-27Auto merge of #59540 - Zoxc:the-arena-2, r=michaelwoeristerbors-20/+14
2019-04-26Update handling of Tuplevarkor-14/+20
2019-04-25Update trait queriesJohn Kåre Alsaker-20/+14
2019-04-24Add builtin impls for int and float inference vars in chalkTyler Mandry-14/+19
2019-04-24chalkify: Add Copy/Clone builtinsTyler Mandry-21/+149
2019-04-17Deny `internal` in stage0Mateusz Mikuła-1/+1
2019-04-03Deny internal lints on non conflicting cratesflip1995-0/+1
2019-03-20Fix a bug in implied boundsscalexm-4/+5
2019-03-20Fix a bug in chalk loweringscalexm-1/+8
2019-03-20Add unsize impls for arraysscalexm-0/+88
2019-03-20Reorganize `chalk_context::program_clauses`scalexm-319/+343
2019-03-20Gather region constraints not coming from unificationscalexm-55/+34
2019-03-16Revert the `LazyConst` PROliver Scherer-8/+5
2019-03-07HirIdification: replace NodeId method callsljedrz-2/+2
2019-03-05Handle const generics elsewherevarkor-1/+12
2019-03-01hir: remove NodeId from TraitItemljedrz-6/+6
2019-02-27Rename variadic to c_variadicDan Robertson-6/+6
2019-02-27rename Substs to InternalSubstscsmoe-14/+14
2019-02-13HirId-ify hir::BodyIdljedrz-6/+6
2019-02-10rustc: doc commentsAlexander Regueiro-7/+7
2019-02-07Transition librustc_traits to 2018 editionHirokazu Hata-23/+20
2019-01-25Auto merge of #57714 - matthewjasper:wellformed-unreachable, r=pnkfelixbors-38/+5
2019-01-19Handle lifetime annotations in unreachable codeMatthew Jasper-38/+5
2019-01-10integrate trait aliases into def-paths / metadataNiko Matsakis-1/+2
2019-01-05Auto merge of #56837 - arielb1:nonprincipal-trait-objects, r=nikomatsakisbors-5/+1
2019-01-04Revert "add coherence future-compat warnings for marker-only trait objects"Ariel Ben-Yehuda-5/+1
2019-01-01Move the `Unevaluated` constant arm upwards in the type structureOliver Scherer-1/+1
2018-12-30Stop well-formedness checking unreachable code.David Wood-76/+27
2018-12-30Always check well-formedness.David Wood-29/+77
2018-12-30Refactor `UserTypeAnnotation`.David Wood-22/+8
2018-12-27Fix `tcx.environment` for inherent implsscalexm-31/+48
2018-12-27Add `wf_clause_for_fn_def`scalexm-1/+21
2018-12-27Use `TraitEngine` in `enter_canonical_trait_query`scalexm-6/+10
2018-12-27Handle sub-typing in chalk-enginescalexm-6/+28
2018-12-27Integrate chalk enginescalexm-31/+133
2018-12-27Fix binding levels in implied bounds rulesscalexm-15/+11
2018-12-27Fix `Sized` requirement for empty tuples in `program_clauses`scalexm-1/+4
2018-12-27Add builtin impls for `Sized` in `chalk_context::program_clauses`scalexm-1/+150
2018-12-27Rename functions giving WF clauses for builtin typesscalexm-21/+38
2018-12-27Add utilities for creating generic typesscalexm-59/+87
2018-12-27Return an instantiated environment instead of a generic onescalexm-28/+28
2018-12-27Fix `visit_ex_clause_with`scalexm-3/+3
2018-12-27Implement "lifetime juggling" methods from chalk integration traitscalexm-8/+42
2018-12-27Implement `is_coinductive`scalexm-3/+20
2018-12-25Remove licensesMark Rousskov-110/+0
2018-12-14add coherence future-compat warnings for marker-only trait objectsAriel Ben-Yehuda-1/+5
2018-12-10Upgrade `smallvec` to 0.6.7 and use the new `may_dangle` feature.Nicholas Nethercote-1/+1
2018-12-07Various minor/cosmetic improvements to codeAlexander Regueiro-7/+7
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-25 12:37:57 +0000