]> git.lizzy.rs Git - rust.git/history - compiler/rustc_infer/src/infer/mod.rs
Replacing bound vars is actually instantiating a binder
[rust.git] / compiler / rustc_infer / src / infer / mod.rs
2023-02-07 Michael GouletReplacing bound vars is actually instantiating a binder
2023-02-07 Matthias KrügerRollup merge of #107709 - tialaramex:master, r=compiler...
2023-02-07 Matthias KrügerRollup merge of #107706 - tgross35:atomic-as-mut-ptr...
2023-02-07 Matthias KrügerRollup merge of #107700 - jyn514:tools-builder, r=Mark...
2023-02-07 Matthias KrügerRollup merge of #107662 - cjgillot:copy-projection...
2023-02-07 Matthias KrügerRollup merge of #107471 - notriddle:notriddle/default...
2023-02-07 borsAuto merge of #107671 - CastilloDel:master, r=estebank
2023-02-07 borsAuto merge of #107704 - jyn514:tidy-ci, r=Mark-Simulacrum
2023-02-07 borsAuto merge of #107693 - petrochenkov:metable, r=oli-obk
2023-02-06 Matthias KrügerRollup merge of #107735 - edward-shen:edward-shen/mailm...
2023-02-06 Matthias KrügerRollup merge of #107725 - GuillaumeGomez:turn-markdownw...
2023-02-06 Matthias KrügerRollup merge of #107692 - Swatinem:printsizeyield,...
2023-02-06 Matthias KrügerRollup merge of #107596 - Kobzol:stage-build-timer...
2023-02-06 Matthias KrügerRollup merge of #106477 - Nathan-Fenner:nathanf/refined...
2023-02-06 Dylan DPCRollup merge of #107687 - cjgillot:sroa-2, r=oli-obk
2023-02-06 Dylan DPCRollup merge of #107685 - jieyouxu:issue-90027, r=compi...
2023-02-06 Dylan DPCRollup merge of #107669 - notriddle:notriddle/ayu-small...
2023-02-06 Dylan DPCRollup merge of #107580 - lenko-d:default_value_for_a_l...
2023-02-06 Dylan DPCRollup merge of #107553 - edward-shen:edward-shen/sugge...
2023-02-06 borsAuto merge of #103761 - chenyukang:yukang/fix-103320...
2023-02-06 borsAuto merge of #107667 - cjgillot:no-on-hit, r=lcnr...
2023-02-06 borsAuto merge of #107697 - kiranshila:patch-1, r=the8472
2023-02-06 borsAuto merge of #107141 - notriddle:notriddle/max-lev...
2023-02-05 borsAuto merge of #107627 - nnethercote:optimize-fold_ty...
2023-02-05 Nicholas NethercoteSplit and inline `ShallowResolver::fold_ty`.
2023-02-05 Nicholas NethercoteImprove early bailout test in `resolve_vars_if_possible`.
2023-02-04 Matthias KrügerRollup merge of #107116 - ozkanonur:consolidate-bootstr...
2023-02-04 borsAuto merge of #107618 - chriswailes:linker-arg, r=alber...
2023-02-03 Michael GouletRollup merge of #107519 - joboet:raw_os_error_ty, r...
2023-02-03 Dylan DPCRollup merge of #107585 - compiler-errors:fndef-sig...
2023-02-03 Dylan DPCRollup merge of #107539 - PossiblyAShrub:unused-parens...
2023-02-03 Matthias KrügerRollup merge of #107598 - chenyukang:yukang/fix-core...
2023-02-03 Matthias KrügerRollup merge of #106805 - madsravn:master, r=compiler...
2023-02-03 borsAuto merge of #107543 - ehuss:protocol-sparse, r=jyn514
2023-02-03 borsAuto merge of #107241 - clubby789:bootstrap-lto-off...
2023-02-02 borsAuto merge of #107000 - GuillaumeGomez:fix-items-in...
2023-02-02 Matthias KrügerRollup merge of #107577 - nnethercote:reinstate-hir...
2023-02-02 Matthias KrügerRollup merge of #107532 - compiler-errors:erase-regions...
2023-02-02 Matthias KrügerRollup merge of #107524 - cjgillot:both-storage, r...
2023-02-02 Matthias KrügerRollup merge of #107531 - GuillaumeGomez:inline-images...
2023-02-02 Matthias KrügerRollup merge of #107488 - nnethercote:fix-PartialEq...
2023-02-02 Matthias KrügerRollup merge of #107312 - calebcartwright:style-let...
2023-02-02 Matthias KrügerRollup merge of #107201 - compiler-errors:confusing...
2023-02-02 borsAuto merge of #106925 - imWildCat:imWildCat/remove...
2023-02-01 borsAuto merge of #107574 - compiler-errors:back-to-old...
2023-02-01 borsAuto merge of #107257 - inquisitivecrystal:ffi-attr...
2023-02-01 Matthias KrügerRollup merge of #107533 - pnkfelix:distinguish-generato...
2023-02-01 Matthias KrügerRollup merge of #107499 - compiler-errors:deduce_sig_fr...
2023-02-01 Matthias KrügerRollup merge of #107487 - edward-shen:edward-shen/10721...
2023-02-01 Matthias KrügerRollup merge of #107470 - kadiwa4:bootstrap_cleanup...
2023-02-01 Matthias KrügerRollup merge of #107442 - lukas-code:slice-panics,...
2023-02-01 Matthias KrügerRollup merge of #107389 - zvavybir:master, r=estebank
2023-02-01 borsAuto merge of #107541 - weihanglo:update-cargo, r=weihanglo
2023-02-01 borsAuto merge of #107536 - GuillaumeGomez:rollup-xv7dx2h...
2023-01-31 Guillaume GomezRollup merge of #107535 - dcompoze:tcp-doc-unwrap,...
2023-01-31 Guillaume GomezRollup merge of #107527 - notriddle:notriddle/wcagcontr...
2023-01-31 Guillaume GomezRollup merge of #107525 - RalfJung:pointee-info, r...
2023-01-31 Guillaume GomezRollup merge of #107508 - WaffleLapkin:uneq'15, r=oli-obk
2023-01-31 Guillaume GomezRollup merge of #107491 - notriddle:notriddle/setting...
2023-01-31 Guillaume GomezRollup merge of #107486 - compiler-errors:bound-ty...
2023-01-31 Guillaume GomezRollup merge of #106898 - estebank:ice-forms-are-a...
2023-01-31 borsAuto merge of #105650 - cassaundra:float-literal-sugges...
2023-01-30 Michael GouletTrack bound types like bound regions
2023-01-30 Dylan DPCRollup merge of #106106 - jyn514:remote-tracking-branch...
2023-01-29 borsAuto merge of #103019 - Kobzol:ci-multistage-python...
2023-01-29 Matthias KrügerRollup merge of #107078 - ehuss:invalid_doc_attributes...
2023-01-29 Matthias KrügerRollup merge of #106798 - scottmcm:signum-via-cmp,...
2023-01-29 Matthias KrügerRollup merge of #96763 - Abdur-rahmaanJ:patch-1, r...
2023-01-29 Matthias KrügerRollup merge of #106618 - jmillikin:os-net-rustdoc...
2023-01-28 borsAuto merge of #103659 - clubby789:improve-partialord...
2023-01-27 Philipp KronesMerge commit '1480cea393d0cee195e59949eabdfbcf1230f7f9...
2023-01-27 Yuki OkushiRollup merge of #107194 - xfix:remove-slice-internals...
2023-01-27 Yuki OkushiRollup merge of #105784 - yanns:update_stdarch, r=Amanieu
2023-01-27 borsAuto merge of #106959 - tmiasko:opt-funclets, r=davidtwco
2023-01-26 Matthias KrügerRollup merge of #106978 - mejrs:mir_build3, r=davidtwco
2023-01-26 Matthias KrügerRollup merge of #106971 - oli-obk:tait_error, r=davidtwco
2023-01-26 Matthias KrügerRollup merge of #106904 - khuey:preserve_debuginfo_for_...
2023-01-26 borsAuto merge of #106745 - m-ou-se:format-args-ast, r...
2023-01-26 Matthias KrügerRollup merge of #106946 - dtolnay:hashlinecolumn, r...
2023-01-26 Matthias KrügerRollup merge of #106836 - ibraheemdev:sync-sender-spin...
2023-01-26 Matthias KrügerRollup merge of #106811 - khuey:dwp_extension, r=davidtwco
2023-01-26 Matthias KrügerRollup merge of #106779 - RReverser:patch-2, r=Mark...
2023-01-26 Matthias KrügerRollup merge of #106625 - Swatinem:ref/cov6, r=nagisa
2023-01-26 Matthias KrügerRollup merge of #106960 - estebank:parse-anon-enums...
2023-01-26 Matthias KrügerRollup merge of #106407 - mejrs:attr_check, r=compiler...
2023-01-26 borsAuto merge of #105582 - saethlin:instcombine-assert...
2023-01-25 Matthias KrügerRollup merge of #106897 - estebank:issue-99430, r=davidtwco
2023-01-25 Dylan DPCRollup merge of #106823 - m-ou-se:format-args-as-str...
2023-01-25 Dylan DPCRollup merge of #106767 - chbaker0:disable-unstable...
2023-01-24 Caleb CartwrightMerge commit '1d8491b120223272b13451fc81265aa64f7f4d5b...
2023-01-24 bjorn3Merge commit '598f0909568a51de8a2d1148f55a644fd8dffad0...
2023-01-23 Yuki OkushiRollup merge of #106886 - dtolnay:fastinstall, r=Mark...
2023-01-23 Yuki OkushiRollup merge of #106796 - vadorovsky:revert-105708...
2023-01-23 Dylan DPCRollup merge of #106854 - steffahn:drop_linear_arc_reba...
2023-01-23 borsAuto merge of #106981 - joboet:std_remove_box_syntax...
2023-01-22 borsAuto merge of #106975 - tmiasko:basic-blocks-cache...
2023-01-22 borsAuto merge of #106827 - alexcrichton:update-llvm-to...
2023-01-22 Michael GouletRollup merge of #107015 - cuviper:ra-riscv64, r=Mark...
2023-01-22 Michael GouletRollup merge of #106935 - TaKO8Ki:fix-104440, r=cjgillot
2023-01-22 Michael GouletRollup merge of #106749 - glandium:dwarf, r=Mark-Simulacrum
next