about summary refs log tree commit diff
path: root/compiler/rustc_infer/src/infer
AgeCommit message (Expand)AuthorLines
2022-07-19Use LocalDefId in OpaqueTypeKeyMichael Goulet-14/+20
2022-07-16Rollup merge of #99342 - TaKO8Ki:avoid-symbol-to-string-conversions, r=compil...Matthias Krüger-2/+2
2022-07-17avoid some `Symbol` to `String` conversionsTakayuki Maeda-2/+2
2022-07-15provide `generic_param_scope` for region errorslcnr-59/+37
2022-07-15Rollup merge of #98869 - compiler-errors:stop_guessing_head_span, r=cjgillotDylan DPC-7/+4
2022-07-15Auto merge of #97406 - aliemjay:verify-bounds-fix-master, r=oli-obkbors-53/+46
2022-07-15remove tcx from ObligationCauseCode::spanMichael Goulet-7/+4
2022-07-14Rollup merge of #99000 - JulianKnodt:allow_resolve_no_substs, r=lcnrDylan DPC-3/+8
2022-07-14Auto merge of #99231 - Dylan-DPC:rollup-0tl8c0o, r=Dylan-DPCbors-2/+2
2022-07-14Fix overlapping implskadmin-3/+8
2022-07-14Rollup merge of #98705 - WaffleLapkin:closure_binder, r=cjgillotDylan DPC-2/+2
2022-07-14Make outlives::{components,verify} agreeAli MJ Al-Nasrawy-53/+46
2022-07-13Rename `debugging_opts` to `unstable_opts`Joshua Nelson-1/+1
2022-07-12Add an indirection for closures in `hir::ExprKind`Maybe Waffle-2/+2
2022-07-09Auto merge of #99056 - lcnr:higher_ranked_sub, r=oli-obkbors-21/+17
2022-07-08Auto merge of #98614 - oli-obk:take_unsound_opaque_types, r=wesleywiserbors-1/+9
2022-07-08don't use `commit_if_ok` during `higher_ranked_sub`lcnr-21/+17
2022-07-08Only register hidden types for opaque types from the current crate, nothing e...Oli Scherer-1/+1
2022-07-07Move is_free and is_free_or_static to Region, change resolve_var to resolve_r...Jack Huey-38/+22
2022-07-06replace `guess_head_span` with `def_span`Takayuki Maeda-5/+3
2022-07-06Update TypeVisitor pathsAlan Egerton-17/+17
2022-07-05Relax constrained generics to TypeVisitableAlan Egerton-6/+9
2022-07-05Add #[derive(TypeVisitable)]Alan Egerton-3/+3
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-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-18/+8
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-18/+8
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