about summary refs log tree commit diff
path: root/compiler/rustc_infer
AgeCommit message (Expand)AuthorLines
2022-07-05Auto merge of #98584 - lcnr:region-stuff-more-beans, r=oli-obkbors-136/+48
2022-07-04region obligations, remove `body_id`lcnr-19/+9
2022-07-04implied bounds byebye nested hir idslcnr-97/+20
2022-07-04only use `FnCtxt` for regionck inside of bodieslcnr-0/+13
2022-07-04remove an unused `DefId`lcnr-24/+10
2022-07-04`InferSource::GenericArg`, check for containslcnr-17/+20
2022-07-04resolve vars in node substslcnr-3/+8
2022-07-04stop suggesting things inside of macroslcnr-2/+23
2022-07-04update infer cost computation for typeslcnr-22/+40
2022-07-04remove unused function argumentlcnr-2/+0
2022-07-01Only label place where type is needed if span is meaningfulMichael Goulet-3/+9
2022-07-01Rollup merge of #98610 - lcnr:emit_inference_failure_err-ice, r=estebankMatthias Krüger-6/+17
2022-06-30Make `evaluate_obligation` not succeed unconditionally if it registered new h...Oli Scherer-0/+8
2022-06-30add issue number to fixmelcnr-1/+1
2022-06-30use a method instead of manually doing what its body doesOli Scherer-1/+1
2022-06-30Rollup merge of #96727 - oli-obk:no_expect, r=lcnrMatthias Krüger-14/+7
2022-06-29Rollup merge of #98668 - TaKO8Ki:avoid-many-&str-to-string-conversions, r=Dyl...Matthias Krüger-20/+9
2022-06-29Rollup merge of #98607 - compiler-errors:tuple-wrap-suggestion, r=oli-obkDylan DPC-2/+2
2022-06-29avoid many `&str` to `String` conversions with `MultiSpan::push_span_label`Takayuki Maeda-20/+9
2022-06-29Auto merge of #98558 - nnethercote:smallvec-1.8.1, r=lqdbors-1/+1
2022-06-29The only reason we had to replace opaque types in closures was due to async f...Oli Scherer-22/+4
2022-06-29Make RPIT and TAIT work exactly the sameOli Scherer-11/+22
2022-06-28Rollup merge of #97346 - JohnTitor:remove-back-compat-hacks, r=oli-obkDylan DPC-8/+6
2022-06-28fix `emit_inference_failure_err` ICElcnr-6/+17
2022-06-28Remove `final_arg_types`, improve tuple wrapping suggestionMichael Goulet-2/+2
2022-06-27lower-generic vs. outlivelcnr-2/+2
2022-06-27fold_region: remove unused parameterlcnr-2/+2
2022-06-27outside of borrowck, do not provide an implicit_region_boundlcnr-11/+7
2022-06-27Remove a back-compat hack on lazy TAITYuki Okushi-8/+6
2022-06-27Update `smallvec` to 1.8.1.Nicholas Nethercote-1/+1
2022-06-25Rollup merge of #98311 - eggyal:reverse-folder-hierarchy, r=jackh726Matthias Krüger-4/+2
2022-06-24Auto merge of #98109 - nikomatsakis:issue-98095, r=jackh726bors-100/+373
2022-06-23run `x.py fmt`Niko Matsakis-5/+1
2022-06-23remove misleading commentNiko Matsakis-4/+1
2022-06-23try to clarify confusing commentNiko Matsakis-1/+9
2022-06-23normalize if-eq bounds before testingNiko Matsakis-1/+2
2022-06-23apply suggestions from oli-obkNiko Matsakis-7/+7
2022-06-23coallesce docsNiko Matsakis-65/+32
2022-06-23rename IfEqBound to IfEqNiko Matsakis-7/+7
2022-06-23remove VerifyBound::IfEq variantNiko Matsakis-36/+31
2022-06-22Rollup merge of #97818 - compiler-errors:rpit-error-spanned, r=oli-obkYuki Okushi-3/+7
2022-06-21Point at return expression for RPIT-related errorMichael Goulet-3/+7
2022-06-22Rollup merge of #97867 - lcnr:lub-binder, r=oli-obkYuki Okushi-12/+28
2022-06-21Reverse folder hierarchyAlan Egerton-4/+2
2022-06-21Avoid an ICE and instead let the compiler report a useful errorOli Scherer-1/+5
2022-06-15generalize the outlives obligation codeNiko Matsakis-31/+94
2022-06-15improved debug outputNiko Matsakis-5/+2
2022-06-15remove compare-fn and use erased-tyNiko Matsakis-17/+23
2022-06-15simplify argument type for to take param-tyNiko Matsakis-6/+4
2022-06-15implement (unused) matching solverNiko Matsakis-2/+248