about summary refs log tree commit diff
path: root/src/librustc_traits
AgeCommit message (Expand)AuthorLines
2018-06-01Update recursion limitsJohn Kåre Alsaker-0/+2
2018-05-31Register outlives predicates from queries the right way around.Matthew Jasper-5/+7
2018-05-24pacify the mercilous tidyNiko Matsakis-0/+10
2018-05-24implement the chalk traits, albeit with many placeholdersNiko Matsakis-1/+521
2018-05-21rustc: use intern_* instead of mk_* where possible.Eduard-Mihai Burtescu-4/+4
2018-05-17Rollup merge of #50818 - nnethercote:faster-normalize, r=nikomatsakisMark Simulacrum-6/+4
2018-05-17Avoid allocations in `opt_normalize_projection_type`.Nicholas Nethercote-6/+4
2018-05-15Clean up dropck_outlives PhantomData handlingvarkor-7/+4
2018-05-15Add mk_param_from_defvarkor-3/+8
2018-05-15Pull common parameters into GenericParamDefvarkor-6/+4
2018-05-15Inline get_typevarkor-2/+6
2018-05-15Refactor to address commentsvarkor-6/+1
2018-05-15Generalise more cases of explicit iteration of specific kindsvarkor-2/+7
2018-05-15Fix generics type parameter handling in mirivarkor-1/+2
2018-05-08Store the GeneratorInterior in the new GeneratorSubstsJohn Kåre Alsaker-1/+1
2018-05-08Store generator movability outside GeneratorInteriorJohn Kåre Alsaker-1/+1
2018-05-01Conservatively assume dropping a generator touches its upvars, via locals' dt...Felix S. Klock II-8/+32
2018-04-27Auto merge of #48995 - aravind-pg:canonical-query, r=nikomatsakisbors-0/+37
2018-04-26Retry canonical trait query in standard mode if overflow occursAravind Gollakota-7/+2
2018-04-26Remove the stored obligation in OverflowError to simplify thingsAravind Gollakota-2/+2
2018-04-26Introduce trait query mode and use it to set overflow error handling policy i...Aravind Gollakota-2/+2
2018-04-26Create a canonical trait query for `evaluate_obligation`Aravind Gollakota-0/+42
2018-04-26improved debug outputNiko Matsakis-0/+2
2018-04-24Make Binder's field private and clean up its usageTyler Mandry-2/+2
2018-04-23sort strings on outputNiko Matsakis-7/+16
2018-04-23eliminate the `Lrc` of a slice and just return the sliceNiko Matsakis-21/+16
2018-04-23first draft of `program_clauses_for_env`Niko Matsakis-18/+71
2018-04-23in unit tests, use `note` to dump multiple program clausesNiko Matsakis-6/+19
2018-04-23rustfmt lowering.rsNiko Matsakis-50/+59
2018-04-23create a `QueryRegionConstraint` typeNiko Matsakis-18/+22
2018-04-15Rebase and fix conflicts.Fabian Zaiser-5/+7
2018-04-15Stop duplicating where clauses from impl's.Fabian Zaiser-9/+7
2018-04-15Rebase and update code.Fabian Zaiser-2/+6
2018-04-15Improve function name.Fabian Zaiser-3/+5
2018-04-15Implement Chalk lowering rule Normalize-From-ImplFabian Zaiser-4/+61
2018-04-13Auto merge of #49800 - ishitatsuyuki:intern-goal, r=nikomatsakisbors-19/+23
2018-04-12Auto merge of #49558 - Zoxc:sync-misc, r=michaelwoeristerbors-8/+5
2018-04-12traits: Implement interning for Goal and ClauseTatsuyuki Ishi-19/+23
2018-04-11Auto merge of #49715 - Mark-Simulacrum:deny-warnings, r=alexcrichtonbors-2/+0
2018-04-10Make PerfStats thread-safe and remove unused fieldsJohn Kåre Alsaker-7/+4
2018-04-10Make recursion_limit and type_length_limit thread-safeJohn Kåre Alsaker-1/+1
2018-04-10Auto merge of #49435 - tmandry:rule-implied-bound-from-trait, r=nikomatsakisbors-4/+65
2018-04-08Move deny(warnings) into rustbuildMark Simulacrum-2/+0
2018-04-07Auto merge of #49661 - alexcrichton:bump-bootstrap, r=nikomatsakisbors-2/+0
2018-04-06chalkify: Implement Rule Implied-Bound-From-TraitTyler Mandry-4/+65
2018-04-05Rollup merge of #49497 - scalexm:hrtb, r=nikomatsakisAlex Crichton-25/+27
2018-04-05Bump the bootstrap compiler to 1.26.0 betaAlex Crichton-2/+0
2018-04-02Fix commentAlexandre Martin-1/+1
2018-03-30Tweak `Clause` definition and HRTBsscalexm-25/+27
2018-03-29Stabilize underscore lifetimesTaylor Cramer-1/+1