about summary refs log tree commit diff
path: root/src
AgeCommit message (Expand)AuthorLines
2020-07-29handle ConstEquate in rustdocBastian Kauschke-0/+50
2020-07-28Auto merge of #74841 - infinity0:fix-exec, r=Mark-Simulacrumbors-26/+24
2020-07-27mv std libs to library/mark-267405/+1208
2020-07-27Auto merge of #73583 - anp:location-eq, r=dtolnaybors-1/+23
2020-07-27rustbuild: refactor how the wrapper deals with exit codesXimin Luo-26/+24
2020-07-27rustbuild: format both Ok/Err separately, since Result doesn't do itXimin Luo-2/+2
2020-07-27rustbuild: use Display for exit status instead of Debug, see #74832 for justi...Ximin Luo-1/+1
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-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