about summary refs log tree commit diff
path: root/src/librustc_traits/chalk_context
AgeCommit message (Expand)AuthorLines
2019-04-28Fix lint findings in librustc_traitsflip1995-25/+25
2019-04-27Rollup merge of #60292 - varkor:ty-tuple-substs, r=nikomatsakisMazdak Farrokhzad-10/+15
2019-04-27Auto merge of #59540 - Zoxc:the-arena-2, r=michaelwoeristerbors-4/+3
2019-04-26Update handling of Tuplevarkor-10/+15
2019-04-25Update trait queriesJohn Kåre Alsaker-4/+3
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-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-28/+33
2019-03-16Revert the `LazyConst` PROliver Scherer-8/+5
2019-03-05Handle const generics elsewherevarkor-1/+12
2019-02-27Rename variadic to c_variadicDan Robertson-4/+4
2019-02-27rename Substs to InternalSubstscsmoe-2/+2
2019-02-10rustc: doc commentsAlexander Regueiro-6/+6
2019-02-07Transition librustc_traits to 2018 editionHirokazu Hata-6/+6
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-27Add `wf_clause_for_fn_def`scalexm-1/+21
2018-12-27Handle sub-typing in chalk-enginescalexm-5/+27
2018-12-27Integrate chalk enginescalexm-31/+132
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-0/+131
2018-12-27Rename functions giving WF clauses for builtin typesscalexm-21/+38
2018-12-27Add utilities for creating generic typesscalexm-51/+19
2018-12-27Return an instantiated environment instead of a generic onescalexm-8/+15
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-20/+0
2018-12-14add coherence future-compat warnings for marker-only trait objectsAriel Ben-Yehuda-1/+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-8/+11
2018-11-24Introduce `TyKind::Placeholder` variantscalexm-0/+1
2018-11-13Instantiate all bound vars existentiallyscalexm-4/+3
2018-11-13Bypass ppaux for `Outlives` predicatesscalexm-1/+1
2018-11-13Provide program clauses for builtin typesscalexm-0/+970
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-03-01 13:03:52 +0000