about summary refs log tree commit diff
path: root/compiler/rustc_infer/src
AgeCommit message (Expand)AuthorLines
2024-02-17use `instantiate_ty_var` in nlllcnr-192/+47
2024-02-17move ty var instantiation into the generalize modulelcnr-211/+233
2024-02-17add fixmelcnr-0/+3
2024-02-17rename `needs_wf` and clarify commentlcnr-54/+56
2024-02-16NitsMichael Goulet-0/+1
2024-02-16Move trait into attr so it's greppableMichael Goulet-8/+8
2024-02-16Use extension trait deriveMichael Goulet-50/+12
2024-02-16Auto merge of #120500 - oli-obk:intrinsics2.0, r=WaffleLapkinbors-3/+3
2024-02-15Remove a suggestion that is redundantMichael Goulet-13/+0
2024-02-15Only point out non-diverging arms for match suggestionsMichael Goulet-9/+15
2024-02-15errors: only eagerly translate subdiagnosticsDavid Wood-19/+20
2024-02-14Use fewer delayed bugs.Nicholas Nethercote-15/+13
2024-02-14Auto merge of #120454 - clubby789:cargo-update, r=Nilstriebbors-1/+2
2024-02-13Rollup merge of #121002 - lcnr:cleanup-commit_if_ok, r=oli-obkMatthias Krüger-62/+52
2024-02-13Bump `indexmap`clubby789-1/+2
2024-02-13Rollup merge of #120959 - nnethercote:rm-good_path, r=oli-obkMatthias Krüger-14/+0
2024-02-13remove questionable calls to `commit_if_ok`lcnr-62/+52
2024-02-13also try to normalize opaque types in alias-relatelcnr-0/+6
2024-02-12Rollup merge of #120958 - ShoyuVanilla:remove-subst, r=oli-obkMatthias Krüger-84/+90
2024-02-13Remove `TypeErrCtxt::drop`.Nicholas Nethercote-14/+0
2024-02-12Make `is_intrinsic` query return the intrinsic nameOli Scherer-3/+3
2024-02-12Tweak delayed bug mentions.Nicholas Nethercote-1/+1
2024-02-12Dejargnonize substShoyu Vanilla-84/+90
2024-02-11Rollup merge of #120872 - petrochenkov:opthirpar, r=cjgillotMatthias Krüger-24/+23
2024-02-10Rollup merge of #120870 - Zalathar:allow-min-spec, r=oli-obkMatthias Krüger-1/+1
2024-02-10hir: Remove `hir::Map::{opt_parent_id,parent_id,get_parent,find_parent}`Vadim Petrochenkov-24/+23
2024-02-10Auto merge of #120712 - compiler-errors:async-closures-harmonize, r=oli-obkbors-1/+2
2024-02-10Remove unnecessary `min_specialization` after bootstrapZalathar-1/+1
2024-02-09Rollup merge of #120828 - nnethercote:fix-stash-steal, r=oli-obkMatthias Krüger-19/+25
2024-02-09Rollup merge of #120693 - nnethercote:invert-diagnostic-lints, r=davidtwcoMatthias Krüger-0/+2
2024-02-09Fix `ErrorGuaranteed` unsoundness with stash/steal.Nicholas Nethercote-19/+25
2024-02-08Rollup merge of #120590 - compiler-errors:dead, r=NilstriebMatthias Krüger-7/+5
2024-02-08sort suggestions for object diagnosticMichael Goulet-1/+2
2024-02-08Auto merge of #120544 - BoxyUwU:enter_forall, r=lcnrbors-74/+106
2024-02-08reviews + rebaseBoxy-57/+49
2024-02-08rename `instantiate_binder_with_placeholders`Boxy-7/+24
2024-02-08introduce `enter_forall`Boxy-34/+57
2024-02-08Rollup merge of #120734 - nnethercote:SubdiagnosticMessageOp, r=compiler-errorsMatthias Krüger-42/+12
2024-02-08Add `SubdiagnosticMessageOp` as a trait alias.Nicholas Nethercote-42/+12
2024-02-07hir: Remove `fn opt_hir_id` and `fn opt_span`Vadim Petrochenkov-4/+3
2024-02-06Rollup merge of #120513 - compiler-errors:normalize-regions-for-nll, r=lcnrMatthias Krüger-38/+64
2024-02-06Rollup merge of #120670 - lcnr:effect-var-storage, r=fee1-deadMatthias Krüger-52/+29
2024-02-06Add CoroutineClosure to TyKind, AggregateKind, UpvarArgsMichael Goulet-8/+41
2024-02-06Invert diagnostic lints.Nicholas Nethercote-0/+2
2024-02-05cleanup effect var handlinglcnr-52/+29
2024-02-02Remove dead args from functionsMichael Goulet-7/+5
2024-02-03`Diagnostic` cleanupsNicholas Nethercote-2/+2
2024-02-02Normalize the whole PolyTypeOutlivesPredicate, more simplificationsMichael Goulet-23/+37
2024-02-02Don't hang when there's an infinite loop of outlives obligationsMichael Goulet-1/+7
2024-02-02Do process_registered_region_obligations in a loopMichael Goulet-16/+22