git.lizzy.rs Git - rust.git/history - src/librustc_mir/borrow_check/nll/type

]> git.lizzy.rs Git - rust.git/history - src/librustc_mir/borrow_check/nll/type_check/mod.rs

[rust.git] / src / librustc_mir / borrow_check / nll / type_check / mod.rs

2018-11-15	Pietro Albini	Rollup merge of #55956 - euclio:issue-55587, r=estebank	blob \| commitdiff \| raw
2018-11-15	Pietro Albini	Rollup merge of #55932 - Turbo87:to_digit, r=alexcrichton	blob \| commitdiff \| raw
2018-11-15	Pietro Albini	Rollup merge of #55930 - ljedrz:hir_bonuses, r=cramertj	blob \| commitdiff \| raw
2018-11-15	Pietro Albini	Rollup merge of #55926 - cynecx:fix-rustdoc-mobile...	blob \| commitdiff \| raw
2018-11-15	Pietro Albini	Rollup merge of #55901 - euclio:speling, r=petrochenkov	blob \| commitdiff \| raw
2018-11-15	Pietro Albini	Rollup merge of #55865 - RalfJung:unix-rwlock, r=alexcr...	blob \| commitdiff \| raw \| diff to current
2018-11-15	Pietro Albini	Rollup merge of #55852 - varkor:dotdotequals-lint,...	blob \| commitdiff \| raw \| diff to current
2018-11-15	Pietro Albini	Rollup merge of #55785 - stjepang:unsized-drop-forget...	blob \| commitdiff \| raw \| diff to current
2018-11-15	Pietro Albini	Rollup merge of #55781 - pnkfelix:issue-54382-more...	blob \| commitdiff \| raw \| diff to current
2018-11-15	Pietro Albini	Rollup merge of #55778 - nnethercote:LrcPreds, r=eddyb	blob \| commitdiff \| raw \| diff to current
2018-11-15	Pietro Albini	Rollup merge of #55750 - oli-obk:node_id_x, r=michaelwo...	blob \| commitdiff \| raw \| diff to current
2018-11-15	Pietro Albini	Rollup merge of #55622 - jakllsch:netbsd-librt, r=alexc...	blob \| commitdiff \| raw \| diff to current
2018-11-15	Pietro Albini	Rollup merge of #55556 - nnethercote:MmapMeta, r=eddyb	blob \| commitdiff \| raw \| diff to current
2018-11-15	Pietro Albini	Rollup merge of #55530 - ljedrz:speed_up_String_from_ut...	blob \| commitdiff \| raw \| diff to current
2018-11-15	Pietro Albini	Rollup merge of #55507 - fhartwig:size_of_intrinsic_doc...	blob \| commitdiff \| raw \| diff to current
2018-11-15	Pietro Albini	Rollup merge of #55211 - fintelia:bufwriter-buffer...	blob \| commitdiff \| raw \| diff to current
2018-11-15	Pietro Albini	Rollup merge of #55182 - jD91mZM2:rebased, r=alexcrichton	blob \| commitdiff \| raw \| diff to current
2018-11-15	bors	Auto merge of #54906 - qnighy:fix-issue-50452, r=nikoma...	blob \| commitdiff \| raw \| diff to current
2018-11-15	bors	Auto merge of #55716 - RalfJung:escape-to-raw, r=oli-obk	blob \| commitdiff \| raw \| diff to current
2018-11-14	bors	Auto merge of #55934 - alexcrichton:appveyor-gce, r...	blob \| commitdiff \| raw \| diff to current
2018-11-13	bors	Auto merge of #55912 - kennytm:rollup, r=kennytm	blob \| commitdiff \| raw \| diff to current
2018-11-13	Andy Russell	fix various typos in doc comments	blob \| commitdiff \| raw \| diff to current
2018-11-13	bors	Auto merge of #55356 - Aaron1011:fix/rustdoc-negative...	blob \| commitdiff \| raw \| diff to current
2018-11-13	bors	Auto merge of #55649 - scalexm:chalk-bound-ty, r=nikoma...	blob \| commitdiff \| raw \| diff to current
2018-11-13	scalexm	Instantiate all bound vars existentially	blob \| commitdiff \| raw \| diff to current
2018-11-13	kennytm	Rollup merge of #55722 - RalfJung:impl-stable-hash...	blob \| commitdiff \| raw \| diff to current
2018-11-13	kennytm	Rollup merge of #55136 - GuillaumeGomez:short-doc,...	blob \| commitdiff \| raw \| diff to current
2018-11-13	kennytm	Rollup merge of #55874 - denisvasilik:docs, r=alexcrichton	blob \| commitdiff \| raw \| diff to current
2018-11-13	kennytm	Rollup merge of #55858 - GuillaumeGomez:fixes-rustdoc...	blob \| commitdiff \| raw \| diff to current
2018-11-13	kennytm	Rollup merge of #55837 - Centril:spökdata-skall-vara...	blob \| commitdiff \| raw \| diff to current
2018-11-13	kennytm	Rollup merge of #55804 - QuietMisdreavus:eager-crate...	blob \| commitdiff \| raw \| diff to current
2018-11-13	kennytm	Rollup merge of #55754 - spastorino:fix-process-output...	blob \| commitdiff \| raw \| diff to current
2018-11-13	kennytm	Rollup merge of #55711 - kngwyu:btreemap-rangemut-doc...	blob \| commitdiff \| raw \| diff to current
2018-11-13	bors	Auto merge of #55589 - oli-obk:min_length_💣, r=pnkfelix	blob \| commitdiff \| raw \| diff to current
2018-11-13	bors	Auto merge of #55052 - newpavlov:patch-2, r=alexcrichton	blob \| commitdiff \| raw \| diff to current
2018-11-12	bors	Auto merge of #55278 - Centril:constification-1, r...	blob \| commitdiff \| raw \| diff to current
2018-11-12	Oliver Scherer	Use type safe `VariantIdx` instead of `usize` everywhere	blob \| commitdiff \| raw \| diff to current
2018-11-12	bors	Auto merge of #55701 - tromey:ice-fix, r=matthewjasper	blob \| commitdiff \| raw \| diff to current
2018-11-11	bors	Auto merge of #55698 - nikic:remove-llvm-4-support...	blob \| commitdiff \| raw \| diff to current
2018-11-11	bors	Auto merge of #55657 - davidtwco:issue-55651, r=pnkfelix	blob \| commitdiff \| raw \| diff to current
2018-11-11	bors	Auto merge of #55674 - oli-obk:miri_engine_refactoring...	blob \| commitdiff \| raw \| diff to current
2018-11-11	Axary	Merge branch 'master' of https://github.com/rust-lang...	blob \| commitdiff \| raw \| diff to current
2018-11-11	kennytm	Rollup merge of #55856 - QuietMisdreavus:static-dischar...	blob \| commitdiff \| raw \| diff to current
2018-11-11	kennytm	Rollup merge of #55845 - nikic:emscripten-clamp-mode...	blob \| commitdiff \| raw \| diff to current
2018-11-11	kennytm	Rollup merge of #55630 - petrochenkov:noprelude, r...	blob \| commitdiff \| raw \| diff to current
2018-11-11	bors	Auto merge of #54993 - TimNN:pda-tdl, r=eddyb	blob \| commitdiff \| raw \| diff to current
2018-11-10	Pietro Albini	Rollup merge of #55844 - waywardmonkeys:typo-fixes...	blob \| commitdiff \| raw \| diff to current
2018-11-10	Pietro Albini	Rollup merge of #55839 - dralley:docstring-spelling...	blob \| commitdiff \| raw \| diff to current
2018-11-10	Pietro Albini	Rollup merge of #55828 - oli-obk:promotion_strikes_agai...	blob \| commitdiff \| raw \| diff to current
2018-11-10	Pietro Albini	Rollup merge of #55822 - davidtwco:issue-55394, r=pnkfelix	blob \| commitdiff \| raw \| diff to current
2018-11-10	Pietro Albini	Rollup merge of #55819 - pnkfelix:issue-55810-must...	blob \| commitdiff \| raw \| diff to current
2018-11-10	Pietro Albini	Rollup merge of #55816 - nnethercote:from_decimal_strin...	blob \| commitdiff \| raw \| diff to current
2018-11-10	Pietro Albini	Rollup merge of #55802 - wesleywiser:inlined_calls_2_el...	blob \| commitdiff \| raw \| diff to current
2018-11-10	Pietro Albini	Rollup merge of #55801 - pnkfelix:update-box-insensitiv...	blob \| commitdiff \| raw \| diff to current
2018-11-10	Pietro Albini	Rollup merge of #55800 - estebank:abolish-ice-for-lifet...	blob \| commitdiff \| raw \| diff to current
2018-11-10	Pietro Albini	Rollup merge of #55799 - pnkfelix:remove-useless-revisi...	blob \| commitdiff \| raw \| diff to current
2018-11-10	Pietro Albini	Rollup merge of #55792 - oli-obk:propsicle, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2018-11-10	Pietro Albini	Rollup merge of #55764 - murarth:fix-rc-alloc, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2018-11-10	Pietro Albini	Rollup merge of #55745 - nnethercote:outlives_component...	blob \| commitdiff \| raw \| diff to current
2018-11-10	Pietro Albini	Rollup merge of #55687 - alexreg:fix-24010, r=scalexm	blob \| commitdiff \| raw \| diff to current
2018-11-10	bors	Auto merge of #54864 - ljedrz:cleanup_codegen_llvm_back...	blob \| commitdiff \| raw \| diff to current
2018-11-10	bors	Auto merge of #55650 - nikic:funnel-shift, r=nagisa	blob \| commitdiff \| raw \| diff to current
2018-11-10	bors	Auto merge of #55830 - alexcrichton:update-cargo, r...	blob \| commitdiff \| raw \| diff to current
2018-11-10	bors	Auto merge of #55637 - pnkfelix:issue-55552-dont-attemp...	blob \| commitdiff \| raw \| diff to current
2018-11-09	Mark Rousskov	Rollup merge of #55638 - pnkfelix:issue-55608-ice-reemp...	blob \| commitdiff \| raw \| diff to current
2018-11-09	Mark Rousskov	Rollup merge of #55576 - birkenfeld:opt-level-error...	blob \| commitdiff \| raw \| diff to current
2018-11-08	bors	Auto merge of #55366 - Amanieu:stable_layout, r=Amanieu	blob \| commitdiff \| raw \| diff to current
2018-11-07	Ralf Jung	no more action on ref or cast, but add new MIR statemen...	blob \| commitdiff \| raw \| diff to current
2018-11-07	kennytm	Rollup merge of #55734 - teresy:shorthand-fields, r...	blob \| commitdiff \| raw \| diff to current
2018-11-07	kennytm	Rollup merge of #55510 - bitshifter:repr-feature-gate...	blob \| commitdiff \| raw \| diff to current
2018-11-07	kennytm	Rollup merge of #55501 - nnethercote:DoCompleted, r...	blob \| commitdiff \| raw \| diff to current
2018-11-07	kennytm	Rollup merge of #55495 - wesleywiser:opt_fuel_rustbuild...	blob \| commitdiff \| raw \| diff to current
2018-11-07	kennytm	Rollup merge of #55453 - Aaron1011:fix/rustdoc-lifetime...	blob \| commitdiff \| raw \| diff to current
2018-11-07	kennytm	Rollup merge of #55441 - xfix:patch-12, r=aturon	blob \| commitdiff \| raw \| diff to current
2018-11-07	kennytm	Rollup merge of #55377 - goffrie:patch-2, r=joshtriplett	blob \| commitdiff \| raw \| diff to current
2018-11-06	bors	Auto merge of #55262 - oli-obk:dangling_alloc_id_ice...	blob \| commitdiff \| raw \| diff to current
2018-11-06	bors	Auto merge of #53996 - sekineh:thumb-run, r=japaric	blob \| commitdiff \| raw \| diff to current
2018-11-06	bors	Auto merge of #55610 - gnzlbg:update_stdsimd, r=alexcri...	blob \| commitdiff \| raw \| diff to current
2018-11-06	kennytm	Rollup merge of #55644 - glaubitz:powerpcspe-linux...	blob \| commitdiff \| raw \| diff to current
2018-11-06	kennytm	Rollup merge of #55621 - GuillaumeGomez:create-dir...	blob \| commitdiff \| raw \| diff to current
2018-11-06	kennytm	Rollup merge of #55601 - petrochenkov:featissue, r...	blob \| commitdiff \| raw \| diff to current
2018-11-06	kennytm	Rollup merge of #55597 - alexcrichton:thread-local...	blob \| commitdiff \| raw \| diff to current
2018-11-06	kennytm	Rollup merge of #55490 - petrochenkov:resolveice, r...	blob \| commitdiff \| raw \| diff to current
2018-11-06	bors	Auto merge of #55518 - alexcrichton:smaller-wasm, r...	blob \| commitdiff \| raw \| diff to current
2018-11-06	bors	Auto merge of #55106 - petrhosek:fuchsia-lld, r=alexcri...	blob \| commitdiff \| raw \| diff to current
2018-11-05	bors	Auto merge of #54922 - murarth:rc-ub-fix, r=alexcrichton	blob \| commitdiff \| raw \| diff to current
2018-11-05	bors	Auto merge of #55410 - nagisa:atomic-align, r=pnkfelix	blob \| commitdiff \| raw \| diff to current
2018-11-05	bors	Auto merge of #55451 - estebank:arg-doc, r=pnkfelix	blob \| commitdiff \| raw \| diff to current
2018-11-05	bors	Auto merge of #55515 - QuietMisdreavus:rustdoc-config...	blob \| commitdiff \| raw \| diff to current
2018-11-05	bors	Auto merge of #55593 - nikic:remove-llvm-4-checks,...	blob \| commitdiff \| raw \| diff to current
2018-11-04	bors	Auto merge of #55569 - durka:must-use-external-macro...	blob \| commitdiff \| raw \| diff to current
2018-11-04	bors	Auto merge of #55393 - oli-obk:immediate_immediately...	blob \| commitdiff \| raw \| diff to current
2018-11-04	bors	Auto merge of #55349 - bjorn3:rustc_mir_collect_and_par...	blob \| commitdiff \| raw \| diff to current
2018-11-04	bors	Auto merge of #55432 - zackmdavis:single_life, r=nikoma...	blob \| commitdiff \| raw \| diff to current
2018-11-04	bors	Auto merge of #55455 - estebank:expected-descr, r=micha...	blob \| commitdiff \| raw \| diff to current
2018-11-04	bors	Auto merge of #54861 - rep-nop:find_main_in_doctest...	blob \| commitdiff \| raw \| diff to current
2018-11-03	bors	Auto merge of #55101 - alexreg:trait-aliases, r=nikomat...	blob \| commitdiff \| raw \| diff to current
2018-11-03	bors	Auto merge of #55646 - GuillaumeGomez:rollup, r=Guillau...	blob \| commitdiff \| raw \| diff to current
2018-11-03	Guillaume Gomez	Rollup merge of #55598 - nrc:tool-bot, r=kennytm	blob \| commitdiff \| raw \| diff to current
2018-11-03	Guillaume Gomez	Rollup merge of #55568 - durka:rustdoc-big-enum, r...	blob \| commitdiff \| raw \| diff to current
next

Empowering everyone to build reliable and efficient software.

RSS Atom