about summary refs log tree commit diff
path: root/src
AgeCommit message (Expand)AuthorLines
2020-07-27Extract `Cache` and other types from `html` moduleJoseph Ryan-752/+808
2020-07-27Refactor html backend to use generic interfaceJoseph Ryan-313/+409
2020-07-27Move `Error` and `RenderInfo` out of `html` moduleJoseph Ryan-71/+85
2020-07-27Auto merge of #73503 - lcnr:forall-predicate-what-and-why-2, r=nikomatsakisbors-1150/+1268
2020-07-27clippyBastian Kauschke-5/+5
2020-07-27cleanupBastian Kauschke-59/+35
2020-07-27fix rustdocBastian Kauschke-24/+14
2020-07-27it works again :tada:Bastian Kauschke-42/+47
2020-07-27fix rebaseBastian Kauschke-29/+29
2020-07-27directly contain `PredicateAtom` in `PredicateKind::ForAll`Bastian Kauschke-180/+163
2020-07-27introduce PredicateAtomBastian Kauschke-842/+795
2020-07-27add reuse_or_mk_predicateBastian Kauschke-12/+20
2020-07-27refactor query_outlives_constraints_into_obligationsBastian Kauschke-13/+6
2020-07-27this might be unqualified, but at least it's now quantifiedBastian Kauschke-83/+87
2020-07-27fix rustdocBastian Kauschke-12/+20
2020-07-27split ignore_qualifiersBastian Kauschke-181/+196
2020-07-27reviewBastian Kauschke-75/+45
2020-07-27fix elaborate for predicates with unbound variablesBastian Kauschke-10/+6
2020-07-27clippyBastian Kauschke-22/+22
2020-07-27rustdocBastian Kauschke-31/+36
2020-07-27`PredicateKint` -> `PredicateKind`, the beginning of the endBastian Kauschke-740/+742
2020-07-27progressBastian Kauschke-46/+54
2020-07-27elaborateBastian Kauschke-19/+23
2020-07-27subst_supertraitBastian Kauschke-31/+14
2020-07-27somewhat related cleanupBastian Kauschke-11/+4
2020-07-27wfBastian Kauschke-18/+20
2020-07-27convert trivial predicatesBastian Kauschke-28/+26
2020-07-27query_outlives_constraints_into_obligationsBastian Kauschke-20/+24
2020-07-27anonymize_predicateBastian Kauschke-22/+15
2020-07-27Handle trait/projection predicates with bound regions correctlyMatthew Jasper-70/+132
2020-07-27minimalBastian Kauschke-78/+44
2020-07-27Clean up E0734 explanationGuillaume Gomez-1/+1
2020-07-27add `PredicateKint`, because who doesn't like bodgingBastian Kauschke-3/+200
2020-07-27Rollup merge of #74822 - JohnTitor:no-sigsegv, r=oli-obkManish Goregaokar-18/+28
2020-07-27Rollup merge of #74803 - infinity0:fix-exec, r=nagisaManish Goregaokar-10/+3
2020-07-27Rollup merge of #74487 - lcnr:const-in-ty-default, r=varkorManish Goregaokar-13/+135
2020-07-27Rollup merge of #73858 - tspiteri:const-methods, r=oli-obkManish Goregaokar-53/+43
2020-07-27update testsBastian Kauschke-1/+10
2020-07-27forbid generic params inside of anon consts in ty defaultsBastian Kauschke-8/+121
2020-07-27name `ParamInTyOfConstArg`Bastian Kauschke-5/+5
2020-07-27Auto merge of #74775 - RalfJung:miri-alloc-ids, r=oli-obkbors-122/+122
2020-07-27More ensure stack to avoid segfault with increased `recursion_limit`Yuki Okushi-18/+28
2020-07-27Auto merge of #74817 - JohnTitor:rollup-0fchdye, r=JohnTitorbors-37/+25
2020-07-27rename eval_const_to_op -> const_to_opRalf Jung-12/+8
2020-07-27Rollup merge of #74799 - Dhs92:master, r=joshtriplettYuki Okushi-1/+1
2020-07-27Rollup merge of #74790 - Cldfire:ayu-no-italic-comments, r=GuillaumeGomezYuki Okushi-1/+0
2020-07-27Rollup merge of #74783 - jnozsc:python_cleanup, r=Mark-SimulacrumYuki Okushi-4/+4
2020-07-27Rollup merge of #74750 - oli-obk:logging_and_test_cleanups, r=JohnTitorYuki Okushi-29/+13
2020-07-27Rollup merge of #74598 - mzohreva:mz/fix-test, r=KodrAusYuki Okushi-0/+2
2020-07-27Rollup merge of #74088 - tmiasko:write-all-vectored-empty, r=KodrAusYuki Okushi-2/+5
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-25 16:20:56 +0000