]> git.lizzy.rs Git - rust.git/history - compiler/rustc_hir_typeck/src/fn_ctxt/mod.rs
Replacing bound vars is actually instantiating a binder
[rust.git] / compiler / rustc_hir_typeck / src / fn_ctxt / 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 #107555 - edward-shen:edward-shen/dup...
2023-02-07 Matthias KrügerRollup merge of #107471 - notriddle:notriddle/default...
2023-02-07 Matthias KrügerRollup merge of #100599 - MatthewPeterKelly:add-E0523...
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 #106180 - RalfJung:dereferenceable-genera...
2023-02-07 borsAuto merge of #107693 - petrochenkov:metable, r=oli-obk
2023-02-06 borsAuto merge of #107738 - matthiaskrgr:rollup-o18lzi8...
2023-02-06 Matthias KrügerRollup merge of #107735 - edward-shen:edward-shen/mailm...
2023-02-06 Matthias KrügerRollup merge of #107731 - RalfJung:interpret-discrimina...
2023-02-06 Matthias KrügerRollup merge of #107725 - GuillaumeGomez:turn-markdownw...
2023-02-06 Matthias KrügerRollup merge of #107724 - klensy:imports, r=Mark-Simulacrum
2023-02-06 Matthias KrügerRollup merge of #107720 - tshepang:consistency, r=Mark...
2023-02-06 Matthias KrügerRollup merge of #107714 - Wilfred:round_docs, r=m-ou-se
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 borsAuto merge of #107141 - notriddle:notriddle/max-lev...
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 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 #107241 - clubby789:bootstrap-lto-off...
2023-02-02 borsAuto merge of #107000 - GuillaumeGomez:fix-items-in...
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 #107257 - inquisitivecrystal:ffi-attr...
2023-02-01 Matthias KrügerRollup merge of #107389 - zvavybir:master, r=estebank
2023-01-31 Guillaume GomezRollup merge of #107354 - tspiteri:source-serif-4.005...
2023-01-31 Guillaume GomezRollup merge of #107348 - lcnr:project-solve-new, r...
2023-01-31 Guillaume GomezRollup merge of #106898 - estebank:ice-forms-are-a...
2023-01-31 borsAuto merge of #107297 - Mark-Simulacrum:bump-bootstrap...
2023-01-31 borsAuto merge of #105650 - cassaundra:float-literal-sugges...
2023-01-30 borsAuto merge of #107197 - aliemjay:patch-2, r=jackh726
2023-01-30 Matthias KrügerRollup merge of #107177 - thanatos:fix-doc-errant-light...
2023-01-30 Matthias KrügerRollup merge of #107125 - WaffleLapkin:expect_an_item_i...
2023-01-30 borsAuto merge of #107080 - Urgau:cleanup-bootstrap-extra...
2023-01-30 Dylan DPCRollup merge of #107264 - ferrocene:pa-private-items...
2023-01-30 Dylan DPCRollup merge of #106106 - jyn514:remote-tracking-branch...
2023-01-30 Dylan DPCRollup merge of #101569 - m-ou-se:alloc-no-rexport...
2023-01-29 borsAuto merge of #103019 - Kobzol:ci-multistage-python...
2023-01-29 Matthias KrügerRollup merge of #107169 - albertlarsan68:lock-in-pre...
2023-01-29 Matthias KrügerRollup merge of #107078 - ehuss:invalid_doc_attributes...
2023-01-29 Matthias KrügerRollup merge of #107006 - b-naber:thir-tree, r=jackh726
2023-01-29 Matthias KrügerRollup merge of #106798 - scottmcm:signum-via-cmp,...
2023-01-29 Matthias KrügerRollup merge of #106769 - lenko-d:libtest-print_why_a_t...
2023-01-29 Matthias KrügerRollup merge of #106763 - lenko-d:106659-Print_why_a_te...
2023-01-29 Matthias KrügerRollup merge of #96763 - Abdur-rahmaanJ:patch-1, r...
2023-01-29 borsAuto merge of #106908 - cjgillot:copyprop-ssa, r=oli-obk
2023-01-29 Matthias KrügerRollup merge of #107422 - Nilstrieb:erase-the-ice,...
2023-01-29 Matthias KrügerRollup merge of #107401 - lenko-d:remove_the_usize_fiel...
2023-01-29 Matthias KrügerRollup merge of #107154 - glaubitz:m68k-alloc, r=JohnTitor
2023-01-29 Matthias KrügerRollup merge of #107097 - tmiasko:ssa, r=cjgillot
2023-01-29 Matthias KrügerRollup merge of #106618 - jmillikin:os-net-rustdoc...
2023-01-29 borsAuto merge of #106227 - bryangarza:ctfe-limit, r=oli-obk
2023-01-29 borsAuto merge of #107406 - cjgillot:eliminate-witnesses...
2023-01-28 borsAuto merge of #103659 - clubby789:improve-partialord...
2023-01-28 borsAuto merge of #107303 - compiler-errors:intern-canonica...
2023-01-28 borsAuto merge of #107206 - cjgillot:no-h2l-map, r=WaffleLapkin
2023-01-28 Matthias KrügerRollup merge of #107398 - scottmcm:its-their-funeral...
2023-01-28 Matthias KrügerRollup merge of #107391 - notriddle:notriddle/copy...
2023-01-28 Matthias KrügerRollup merge of #107385 - BoxyUwU:ConstInferUnifier_is_...
2023-01-28 Matthias KrügerRollup merge of #107384 - Nilstrieb:bool-for-deletion...
2023-01-28 Matthias KrügerRollup merge of #107355 - JohnTitor:issue-60755, r...
2023-01-28 Matthias KrügerRollup merge of #107096 - clubby789:fluent-bad-messager...
2023-01-28 Matthias KrügerRollup merge of #105524 - Ayush1325:libc-free, r=ChrisD...
2023-01-28 Matthias KrügerRollup merge of #104252 - faern:stabilize-const_socketa...
2023-01-28 Matthias KrügerRollup merge of #104012 - chenyukang:yukang/fix-103882...
2023-01-28 borsAuto merge of #106916 - lukas-code:overlapping-substs...
2023-01-28 borsAuto merge of #107400 - matthiaskrgr:rollup-l6bycds...
2023-01-28 Matthias KrügerRollup merge of #107373 - michaelwoerister:dont-merge...
2023-01-28 Matthias KrügerRollup merge of #107344 - compiler-errors:new-solver...
2023-01-28 Matthias KrügerRollup merge of #107339 - aliemjay:covariant, r=lcnr
2023-01-28 Matthias KrügerRollup merge of #107306 - compiler-errors:correct-sugg...
2023-01-28 Matthias KrügerRollup merge of #107190 - fmease:fix-81698, r=compiler...
2023-01-28 Matthias KrügerRollup merge of #107103 - compiler-errors:new-solver...
2023-01-28 Matthias KrügerRollup merge of #107100 - compiler-errors:issue-107087...
2023-01-28 Matthias KrügerRollup merge of #107022 - scottmcm:ordering-option...
2023-01-27 Philipp KronesMerge commit '1480cea393d0cee195e59949eabdfbcf1230f7f9...
2023-01-27 Yuki OkushiRollup merge of #107234 - Rattenkrieg:bootstrap-fix...
2023-01-27 Yuki OkushiRollup merge of #107194 - xfix:remove-slice-internals...
2023-01-27 borsAuto merge of #107054 - petrochenkov:effvisdoc3, r...
2023-01-27 Yuki OkushiRollup merge of #107284 - notriddle:notriddle/plus...
2023-01-27 Yuki OkushiRollup merge of #107242 - notriddle:notriddle/title...
2023-01-27 Yuki OkushiRollup merge of #107171 - petrochenkov:encattrs, r...
2023-01-27 Yuki OkushiRollup merge of #106856 - vadorovsky:fix-atomic-annotat...
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-27 borsAuto merge of #107269 - bjorn3:sync_cg_clif-2023-01...
2023-01-26 borsAuto merge of #106812 - oli-obk:output_filenames, r...
2023-01-26 Matthias KrügerRollup merge of #107189 - cjgillot:meta-adt, r=compiler...
2023-01-26 Matthias KrügerRollup merge of #107168 - Nilstrieb:if-a-tait-falls...
2023-01-26 Matthias KrügerRollup merge of #107150 - Nilstrieb:thread-local-cleanu...
2023-01-26 Matthias KrügerRollup merge of #106978 - mejrs:mir_build3, r=davidtwco
next