]> git.lizzy.rs Git - rust.git/history - src/librustc_mir/borrow_check/facts.rs
Auto merge of #69076 - cjgillot:split_trait, r=matthewjasper
[rust.git] / src / librustc_mir / borrow_check / facts.rs
2020-03-13 borsAuto merge of #67502 - Mark-Simulacrum:opt-catch, r...
2020-03-13 Yuki OkushiRollup merge of #69403 - LeSeulArtichaut:copy-ioslice...
2020-03-13 borsAuto merge of #69155 - chrissimpkins:llvm-globals,...
2020-03-12 Mazdak FarrokhzadRollup merge of #69011 - foeb:document-unsafe-core...
2020-03-12 borsAuto merge of #68551 - Marwes:allocations_mir, r=ecstat...
2020-03-12 borsAuto merge of #68191 - simlay:add-tvSO-target, r=nagisa
2020-03-11 Mazdak FarrokhzadRollup merge of #69603 - chrissimpkins:tidy-docs-update...
2020-03-11 Mazdak FarrokhzadRollup merge of #66472 - GuillaumeGomez:show-coverage...
2020-03-11 Mazdak FarrokhzadRollup merge of #69645 - DutchGhost:const-forget-tests...
2020-03-11 Mazdak FarrokhzadRollup merge of #69625 - Stebalien:feat/iter-copy-speci...
2020-03-11 Mazdak FarrokhzadRollup merge of #69591 - matthewjasper:query-response...
2020-03-11 Mazdak FarrokhzadRollup merge of #69373 - tspiteri:const_int_conversion...
2020-03-11 Mazdak FarrokhzadRollup merge of #66059 - RalfJung:panic-on-non-zero...
2020-03-10 Mazdak FarrokhzadRollup merge of #69714 - spastorino:place-ref-lifetime...
2020-03-10 Mazdak FarrokhzadRollup merge of #69514 - GuillaumeGomez:remove-spotligh...
2020-03-08 Mazdak FarrokhzadRollup merge of #69807 - GuillaumeGomez:cleanup-e0391...
2020-03-08 Mazdak FarrokhzadRollup merge of #69608 - o01eg:expose-target-libdir...
2020-03-08 Mazdak FarrokhzadRollup merge of #69326 - JOE1994:os_str_widestring...
2020-03-08 Mazdak FarrokhzadRollup merge of #69120 - spunit262:invalid-sugar-sugges...
2020-03-08 Mazdak FarrokhzadRollup merge of #69812 - Marwes:refactor, r=petrochenkov
2020-03-08 Mazdak FarrokhzadRollup merge of #69771 - GuillaumeGomez:cleanup-e0390...
2020-03-08 Mazdak FarrokhzadRollup merge of #69668 - ssomers:btreemap_even_more_com...
2020-03-08 Mazdak FarrokhzadRollup merge of #69651 - Mark-Simulacrum:black-box...
2020-03-08 Mazdak FarrokhzadRollup merge of #69631 - RalfJung:rust-src, r=Mark...
2020-03-08 Mazdak FarrokhzadRollup merge of #69599 - Centril:typeck-tweak-wording...
2020-03-08 Mazdak FarrokhzadRollup merge of #69561 - JohnTitor:clean-up-unstable...
2020-03-08 Mazdak FarrokhzadRollup merge of #69422 - JohnTitor:remove-unwrap, r...
2020-03-07 Mazdak FarrokhzadRollup merge of #69708 - estebank:tiny, r=petrochenkov
2020-03-07 Mazdak FarrokhzadRollup merge of #69667 - JohnTitor:no-debug, r=nikomatsakis
2020-03-07 Mazdak FarrokhzadRollup merge of #69656 - matthiaskrgr:iter_nth_zero...
2020-03-07 Mazdak FarrokhzadRollup merge of #68985 - daboross:fix-35813, r=Centril
2020-03-06 borsAuto merge of #69614 - estebank:ice-age, r=davidtwco
2020-03-06 borsAuto merge of #69586 - petrochenkov:unmerge, r=Centril
2020-03-05 Dylan DPCRollup merge of #69732 - GuillaumeGomez:cleanup-e0382...
2020-03-05 Dylan DPCRollup merge of #69697 - GuillaumeGomez:explanation...
2020-03-04 borsAuto merge of #69576 - matthiaskrgr:nightly_bootstrap_f...
2020-03-04 borsAuto merge of #69636 - RalfJung:miri, r=nikomatsakis
2020-03-04 borsAuto merge of #68952 - faern:stabilize-assoc-int-consts...
2020-03-04 borsAuto merge of #69550 - RalfJung:scalar, r=oli-obk
2020-03-03 Dylan DPCRollup merge of #69670 - GuillaumeGomez:explain-e0379...
2020-03-03 Dylan DPCRollup merge of #69665 - tmiasko:new-pass-manager-thin...
2020-03-03 Dylan DPCRollup merge of #69653 - matthiaskrgr:needless_bool...
2020-03-03 Dylan DPCRollup merge of #69650 - matthiaskrgr:clnp, r=varkor
2020-03-03 Dylan DPCRollup merge of #69621 - matthiaskrgr:q, r=petrochenkov
2020-03-03 Dylan DPCRollup merge of #69565 - RalfJung:assert, r=eddyb
2020-03-03 borsAuto merge of #69506 - Centril:stmt-semi-none, r=petroc...
2020-03-03 borsAuto merge of #69371 - tmiasko:weak-lang-cycle, r=alexc...
2020-03-03 borsAuto merge of #69482 - lqd:poloniusup, r=nikomatsakis
2020-02-27 Albin Stjerna- polonius: adapt to the new fact format
2020-02-26 Dylan DPCRollup merge of #68712 - HeroicKatora:finalize-ref...
2020-02-26 borsAuto merge of #67290 - jonas-schievink:leak-audit,...
2020-02-22 borsAuto merge of #67330 - golddranks:split_inclusive,...
2020-02-20 Dylan DPCRollup merge of #68705 - BijanT:ll_remove, r=Mark-Simul...
2020-02-18 Yuki OkushiRollup merge of #68597 - ollie27:skip_nth_last, r=Amanieu
2020-02-17 Yuki OkushiRollup merge of #68495 - sdegutis:patch-1, r=Mark-Simul...
2020-02-16 borsAuto merge of #67885 - tobithiel:fix_group_lint_allow_o...
2020-02-15 borsAuto merge of #68668 - GuillaumeGomez:struct-variant...
2020-02-15 Dylan DPCRollup merge of #64069 - danielhenrymantilla:feature...
2020-02-14 Yuki OkushiRollup merge of #68475 - Aaron1011:fix/forest-caching...
2020-02-14 Sebastian ImlayMerge branch 'master' of github.com:rust-lang/rust...
2020-02-13 Dylan DPCRollup merge of #67642 - Mark-Simulacrum:relax-bounds...
2020-02-12 Dylan DPCRollup merge of #69095 - GuillaumeGomez:minified-theme...
2020-02-12 Yuki OkushiRollup merge of #67695 - gilescope:truth, r=centril
2020-02-11 Dylan DPCRollup merge of #69055 - GuillaumeGomez:clean-up-e0307...
2020-02-10 Dylan DPCRollup merge of #69007 - GuillaumeGomez:clean-up-e0283...
2020-02-10 Dylan DPCRollup merge of #68897 - GuillaumeGomez:clean-up-e0275...
2020-02-09 Jonas SchievinkRollup merge of #68742 - tspiteri:string-as-mut, r...
2020-02-09 Jonas SchievinkRollup merge of #68738 - kennytm:derive-clone-eq-for...
2020-02-09 borsAuto merge of #68623 - Zoxc:lld, r=Mark-Simulacrum
2020-02-08 Dylan DPCRollup merge of #68958 - GuillaumeGomez:clean-up-e0277...
2020-02-08 borsAuto merge of #68358 - matthewjasper:spec-fix, r=nikoma...
2020-02-07 Dylan DPCRollup merge of #68928 - GuillaumeGomez:cleanup-e0276...
2020-02-07 Dylan DPCRollup merge of #68413 - XAMPPRocky:master, r=Mark...
2020-02-06 Dylan DPCRollup merge of #68869 - GuillaumeGomez:err-explanation...
2020-02-06 borsAuto merge of #68664 - tspiteri:no_run-complete-build...
2020-02-05 borsAuto merge of #67429 - mati865:mingw-ultimate-fix,...
2020-02-05 Dylan DPCRollup merge of #68832 - GuillaumeGomez:clean-up-3...
2020-02-05 Dylan DPCRollup merge of #68790 - nnethercote:improve-merge_from...
2020-02-04 Dylan DPCRollup merge of #68758 - daboross:fix-59191, r=petrochenkov
2020-02-04 Dylan DPCRollup merge of #68282 - tmiasko:sanitizer-example...
2020-02-04 borsAuto merge of #68558 - HeroicKatora:buf-writer-capacity...
2020-02-04 borsAuto merge of #68708 - Mark-Simulacrum:stage0-step...
2020-02-04 borsAuto merge of #68804 - ecstatic-morse:qualif-cursor...
2020-02-04 borsAuto merge of #68601 - 0dvictor:split, r=tmandry
2020-02-03 borsAuto merge of #67668 - matthewjasper:or-patterns, r...
2020-02-03 Dylan DPCRollup merge of #68797 - GuillaumeGomez:link-to-types...
2020-02-03 Dylan DPCRollup merge of #68777 - GuillaumeGomez:clean-up-e0263...
2020-02-03 Dylan DPCRollup merge of #68744 - JohnTitor:fix-ice-save-analysi...
2020-02-03 Dylan DPCRollup merge of #68711 - hman523:fix-68593, r=Dylan-DPC
2020-02-03 Dylan DPCRollup merge of #68678 - Mark-Simulacrum:robots, r...
2020-02-03 borsAuto merge of #68772 - matthewjasper:relate-opt, r...
2020-02-03 borsAuto merge of #68756 - JohnTitor:fix-ice-save-analysis...
2020-02-03 borsAuto merge of #68735 - JohnTitor:fix-ice-0202, r=estebank
2020-02-02 borsAuto merge of #68720 - wesleywiser:llvm_time_trace...
2020-02-02 Mazdak FarrokhzadRollup merge of #68764 - Centril:self-semantic, r=petro...
2020-02-02 Mazdak FarrokhzadRollup merge of #68733 - cata0309:patch-1, r=Dylan-DPC
2020-02-02 borsAuto merge of #68754 - JohnTitor:clippy-up, r=JohnTitor
2020-02-02 borsAuto merge of #68672 - jonas-schievink:dedup-witness...
2020-02-01 borsAuto merge of #68752 - JohnTitor:rollup-zz3u4xl, r...
2020-02-01 Yuki OkushiRollup merge of #68740 - JohnTitor:do-not-sugg-undersco...
next