about summary refs log tree commit diff
path: root/compiler/rustc_infer/src/infer
AgeCommit message (Expand)AuthorLines
2022-07-27Rollup merge of #99728 - cjgillot:ast-lifetimes-anon-clean, r=petrochenkovGuillaume Gomez-30/+1
2022-07-27fix universe map in ifcx.instantiate_canonical_*Ali MJ Al-Nasrawy-3/+3
2022-07-27Rollup merge of #99079 - compiler-errors:issue-99073, r=oli-obkYuki Okushi-1/+1
2022-07-26Stop creating anonymous late lifetimes.Camille GILLOT-30/+1
2022-07-26Rollup merge of #99729 - cjgillot:rm-unused-tuple, r=michaelwoeristerMatthias Krüger-22/+18
2022-07-26Rollup merge of #99748 - compiler-errors:better-impl-trait-printing, r=fee1-deadDylan DPC-15/+8
2022-07-26Rollup merge of #99618 - compiler-errors:uhh-idk, r=lcnrDylan DPC-6/+55
2022-07-26Revert "use opaque_ty_origin_unchecked instead of destructuring HIR"Michael Goulet-1/+1
2022-07-26Address nits, move substs replacement to separate functionMichael Goulet-27/+41
2022-07-26Use real opaque type instead of just saying impl TraitMichael Goulet-15/+8
2022-07-25handle consts with param/infer in const_eval_resolve betterMichael Goulet-6/+41
2022-07-25Unused tuple fields in rustc_infer.Camille GILLOT-22/+18
2022-07-25use `FxIndexSet` for `region_bound_pairs`lcnr-14/+19
2022-07-24Combine redundant obligation cause codesMichael Goulet-61/+37
2022-07-24Handle additional lifetime bounds on GATs like on methodsMichael Goulet-9/+15
2022-07-24Slightly improve mismatched GAT where clause errorMichael Goulet-52/+18
2022-07-23Rollup merge of #99580 - fmease:fix-issue-99565, r=estebankMatthias Krüger-6/+35
2022-07-22Rollup merge of #99539 - compiler-errors:bidirectional-block-suggestions, r=f...Dylan DPC-117/+422
2022-07-22Don't suggest unnameable generic argumentsLeón Orell Valerian Liehr-6/+35
2022-07-21Address more nitsMichael Goulet-37/+31
2022-07-21Generalize same_type_modulo_inferMichael Goulet-3/+34
2022-07-21`region_outlives_predicate` no snapshotlcnr-10/+5
2022-07-21move `considering_regions` to the infcxlcnr-2/+21
2022-07-21And for patterns tooMichael Goulet-78/+89
2022-07-21Do if-expression obligation stuff less eagerlyMichael Goulet-38/+297
2022-07-21Resolve vars in same_type_modulo_inferMichael Goulet-68/+78
2022-07-20Auto merge of #99058 - michaelwoerister:remove-stable-set-and-map, r=nagisabors-3/+3
2022-07-20remove `commit_unconditionally`lcnr-12/+0
2022-07-20Remove unused StableMap and StableSet types from rustc_data_structuresMichael Woerister-3/+3
2022-07-20Rollup merge of #99383 - ouz-a:issue_57961, r=oli-obkDylan DPC-47/+70
2022-07-20Rollup merge of #99345 - compiler-errors:issue-99073-redux, r=oli-obkDylan DPC-1/+1
2022-07-20take opaq typesouz-a-47/+70
2022-07-19use opaque_ty_origin_unchecked instead of destructuring HIRMichael Goulet-1/+1
2022-07-19Rollup merge of #99401 - TaKO8Ki:avoid-symbol-to-&str-conversions, r=nnethercoteMatthias Krüger-1/+1
2022-07-19Use LocalDefId in OpaqueTypeKeyMichael Goulet-14/+20
2022-07-18avoid `Symbol` to `&str` conversionsTakayuki Maeda-1/+1
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