about summary refs log tree commit diff
path: root/src/librustc_traits
AgeCommit message (Expand)AuthorLines
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
2018-12-06Use a function to access the Hir map to be able to turn it into a query laterJohn Kåre Alsaker-5/+5
2018-11-29Implement `AggregateOps`scalexm-2/+28
2018-11-29Implement `ResolventOps`scalexm-29/+256
2018-11-29Handle inference variables in `nll_relate` and use it for chalkscalexm-17/+132
2018-11-24Fix `ChalkInferenceContext::into_hh_goal`scalexm-1/+4
2018-11-24Implement some instantiate / canonical routinesscalexm-52/+113
2018-11-24Move `BoundTy` debruijn index to the `TyKind` enum variantscalexm-10/+14
2018-11-24Introduce `TyKind::Placeholder` variantscalexm-1/+3
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-27 10:45:02 +0000