about summary refs log tree commit diff
path: root/src/librustc_traits
AgeCommit message (Expand)AuthorLines
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
2018-11-15Rollup merge of #55778 - nnethercote:LrcPreds, r=eddybPietro Albini-5/+7
2018-11-14Wrap some query results in `Lrc`.Nicholas Nethercote-5/+7
2018-11-13Implement `ProjectionEq-Normalize`csmoe-1/+43
2018-11-13Instantiate all bound vars existentiallyscalexm-4/+3
2018-11-13Use a dummy outlives requirement for `where Type:,` (see #53696)scalexm-6/+7
2018-11-13Bypass ppaux for `Outlives` predicatesscalexm-1/+1
2018-11-13Provide program clauses for builtin typesscalexm-229/+509
2018-11-13Adjust documentationscalexm-3/+4
2018-11-13Pretty print quantified goals and clausesscalexm-10/+3
2018-11-13Replace type params with bound vars in `rustc_traits::lowering`scalexm-60/+118
2018-11-11Rollup merge of #55745 - nnethercote:outlives_components-SmallVec, r=matthewj...Pietro Albini-2/+4
2018-11-10Auto merge of #55637 - pnkfelix:issue-55552-dont-attempt-to-ascribe-projectio...bors-6/+24
2018-11-08Use `SmallVec` outparams in several functions.Nicholas Nethercote-2/+4
2018-11-03Rename `Binder::no_late_bound_regions` to `Binder::no_bound_vars`scalexm-2/+2
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-24 21:21:35 +0000