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-12-11	varkor	Check for uninhabitedness instead of never	blob \| commitdiff \| raw
2018-12-10	bors	Auto merge of #56157 - RalfJung:park, r=nagisa	blob \| commitdiff \| raw \| diff to current
2018-12-09	bors	Auto merge of #56463 - ljedrz:slice_concat_join, r...	blob \| commitdiff \| raw \| diff to current
2018-12-09	bors	Auto merge of #56630 - sinkuu:core_iter, r=kennytm	blob \| commitdiff \| raw \| diff to current
2018-12-08	bors	Auto merge of #56615 - integer32llc:update-book, r...	blob \| commitdiff \| raw \| diff to current
2018-12-08	bors	Auto merge of #56616 - estebank:issue-56539, r=davidtwco	blob \| commitdiff \| raw \| diff to current
2018-12-08	Mazdak Farrokhzad	Rollup merge of #56621 - Morganamilo:fix-generators...	blob \| commitdiff \| raw \| diff to current
2018-12-08	Mazdak Farrokhzad	Rollup merge of #56620 - petrochenkov:noclutter, r...	blob \| commitdiff \| raw \| diff to current
2018-12-08	Mazdak Farrokhzad	Rollup merge of #56602 - dwijnand:fix-ptr-hash-docs...	blob \| commitdiff \| raw \| diff to current
2018-12-08	Mazdak Farrokhzad	Rollup merge of #56599 - dlrobertson:fix_va_arg, r...	blob \| commitdiff \| raw \| diff to current
2018-12-08	Mazdak Farrokhzad	Rollup merge of #56597 - vext01:dump-mir-usage, r=wesle...	blob \| commitdiff \| raw \| diff to current
2018-12-08	Mazdak Farrokhzad	Rollup merge of #56248 - estebank:suggest-bare-pub...	blob \| commitdiff \| raw \| diff to current
2018-12-08	bors	Auto merge of #56583 - RalfJung:vergen, r=oli-obk	blob \| commitdiff \| raw \| diff to current
2018-12-08	bors	Auto merge of #56578 - alexreg:cosmetic-1, r=alexreg	blob \| commitdiff \| raw \| diff to current
2018-12-07	Alexander Regueiro	Various minor/cosmetic improvements to code	blob \| commitdiff \| raw \| diff to current
2018-12-07	bors	Auto merge of #56258 - euclio:fs-read-write, r=euclio	blob \| commitdiff \| raw \| diff to current
2018-12-07	bors	Auto merge of #56502 - Zoxc:hir-func, r=eddyb	blob \| commitdiff \| raw \| diff to current
2018-12-07	bors	Auto merge of #56460 - davidtwco:issue-55850, r=pnkfelix	blob \| commitdiff \| raw \| diff to current
2018-12-07	David Wood	Introduce constraint category for yields.	blob \| commitdiff \| raw \| diff to current
2018-12-06	Pietro Albini	Rollup merge of #56332 - GuillaumeGomez:specifi-crate...	blob \| commitdiff \| raw \| diff to current
2018-12-05	Pietro Albini	Rollup merge of #56476 - GuillaumeGomez:invalid-line...	blob \| commitdiff \| raw \| diff to current
2018-12-05	Pietro Albini	Rollup merge of #56119 - frewsxcv:frewsxcv-option-carri...	blob \| commitdiff \| raw \| diff to current
2018-12-05	Pietro Albini	Rollup merge of #55987 - Thomasdezeeuw:weak-ptr_eq...	blob \| commitdiff \| raw \| diff to current
2018-12-05	Pietro Albini	Rollup merge of #55563 - GuillaumeGomez:doc-search...	blob \| commitdiff \| raw \| diff to current
2018-12-05	Pietro Albini	Rollup merge of #51753 - gruberb:document-from-conversi...	blob \| commitdiff \| raw \| diff to current
2018-12-05	bors	Auto merge of #55933 - euclio:doc-panic, r=QuietMisdreavus	blob \| commitdiff \| raw \| diff to current
2018-12-04	bors	Auto merge of #55707 - GuillaumeGomez:file-sidebar...	blob \| commitdiff \| raw \| diff to current
2018-12-04	bors	Auto merge of #55682 - GuillaumeGomez:primitive-sidebar...	blob \| commitdiff \| raw \| diff to current
2018-12-03	bors	Auto merge of #55041 - evq:thumbv8m, r=alexcrichton	blob \| commitdiff \| raw \| diff to current
2018-12-03	kennytm	Rollup merge of #56416 - GuillaumeGomez:css-body, r...	blob \| commitdiff \| raw \| diff to current
2018-12-03	kennytm	Rollup merge of #56141 - jnqnfe:osstr_len_clarity,...	blob \| commitdiff \| raw \| diff to current
2018-12-01	bors	Auto merge of #56165 - RalfJung:drop-glue-type, r=eddyb...	blob \| commitdiff \| raw \| diff to current
2018-11-30	kennytm	Rollup merge of #56214 - scalexm:unification, r=nikomat...	blob \| commitdiff \| raw \| diff to current
2018-11-30	kennytm	Rollup merge of #55011 - vi:panic_immediate_abort,...	blob \| commitdiff \| raw \| diff to current
2018-11-30	kennytm	Rollup merge of #56268 - nnethercote:fold_opt_expr...	blob \| commitdiff \| raw \| diff to current
2018-11-30	kennytm	Rollup merge of #56131 - ljedrz:assorted, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2018-11-30	kennytm	Rollup merge of #56014 - euclio:issue-21335, r=nagisa	blob \| commitdiff \| raw \| diff to current
2018-11-29	Guillaume Gomez	Rollup merge of #56149 - ariasuni:improve-amctime-doc...	blob \| commitdiff \| raw \| diff to current
2018-11-29	Guillaume Gomez	Rollup merge of #56148 - mark-i-m:rustc-guide-submodule...	blob \| commitdiff \| raw \| diff to current
2018-11-29	Guillaume Gomez	Rollup merge of #56127 - rust-lang:oli-obk-patch-1...	blob \| commitdiff \| raw \| diff to current
2018-11-29	Guillaume Gomez	Rollup merge of #56124 - antoine-de:fix_read_to_end_doc...	blob \| commitdiff \| raw \| diff to current
2018-11-29	Guillaume Gomez	Rollup merge of #56114 - varkor:nonexhaustive-backticks...	blob \| commitdiff \| raw \| diff to current
2018-11-29	Guillaume Gomez	Rollup merge of #56080 - mark-i-m:patch-2, r=steveklabnik	blob \| commitdiff \| raw \| diff to current
2018-11-29	Guillaume Gomez	Rollup merge of #56023 - vorner:doc/atomic-ordering...	blob \| commitdiff \| raw \| diff to current
2018-11-29	Guillaume Gomez	Rollup merge of #55391 - matthiaskrgr:bootstrap_cleanup...	blob \| commitdiff \| raw \| diff to current
2018-11-27	bors	Auto merge of #55402 - estebank:macro-eof-2, r=nikomatsakis	blob \| commitdiff \| raw \| diff to current
2018-11-27	bors	Auto merge of #56094 - RalfJung:memory-data-revived...	blob \| commitdiff \| raw \| diff to current
2018-11-26	bors	Auto merge of #54668 - RalfJung:use-maybe-uninit, r...	blob \| commitdiff \| raw \| diff to current
2018-11-26	bors	Auto merge of #56070 - oli-obk:const_let, r=eddyb	blob \| commitdiff \| raw \| diff to current
2018-11-26	bors	Auto merge of #55705 - ethanboxx:master, r=SimonSapin	blob \| commitdiff \| raw \| diff to current
2018-11-25	bors	Auto merge of #55527 - sgeisler:time-checked-add, r...	blob \| commitdiff \| raw \| diff to current
2018-11-25	Pietro Albini	Rollup merge of #56210 - RalfJung:c_str, r=oli-obk	blob \| commitdiff \| raw \| diff to current
2018-11-25	Pietro Albini	Rollup merge of #56207 - SimonSapin:int_to_from_bytes...	blob \| commitdiff \| raw \| diff to current
2018-11-25	Pietro Albini	Rollup merge of #56204 - estebank:suggest-variant,...	blob \| commitdiff \| raw \| diff to current
2018-11-25	Pietro Albini	Rollup merge of #56176 - GuillaumeGomez:panic-setup...	blob \| commitdiff \| raw \| diff to current
2018-11-25	Pietro Albini	Rollup merge of #56170 - wesleywiser:fix_self_profiler_...	blob \| commitdiff \| raw \| diff to current
2018-11-25	Pietro Albini	Rollup merge of #56151 - alexcrichton:move-out-flaky...	blob \| commitdiff \| raw \| diff to current
2018-11-25	Pietro Albini	Rollup merge of #56144 - tromey:Bug-55771-btreemap...	blob \| commitdiff \| raw \| diff to current
2018-11-25	Pietro Albini	Rollup merge of #56101 - frewsxcv:frewsxcv-dyn, r=steve...	blob \| commitdiff \| raw \| diff to current
2018-11-25	Pietro Albini	Rollup merge of #56100 - RalfJung:visiting-generators...	blob \| commitdiff \| raw \| diff to current
2018-11-25	Pietro Albini	Rollup merge of #56075 - alexcrichton:wasm-producer...	blob \| commitdiff \| raw \| diff to current
2018-11-25	Pietro Albini	Rollup merge of #56072 - da-x:stabilize-literal-matcher...	blob \| commitdiff \| raw \| diff to current
2018-11-25	Pietro Albini	Rollup merge of #56045 - qnighy:additional-sizedness...	blob \| commitdiff \| raw \| diff to current
2018-11-25	Pietro Albini	Rollup merge of #56024 - oli-obk:const_fn_collect_inner...	blob \| commitdiff \| raw \| diff to current
2018-11-25	bors	Auto merge of #55906 - nnethercote:rm-OpenSnapshot...	blob \| commitdiff \| raw \| diff to current
2018-11-25	bors	Auto merge of #55921 - scalexm:placeholders, r=nikomatsakis	blob \| commitdiff \| raw \| diff to current
2018-11-25	bors	Auto merge of #55959 - matthewjasper:remove-end-region...	blob \| commitdiff \| raw \| diff to current
2018-11-24	scalexm	Distinguish between placeholder kinds	blob \| commitdiff \| raw \| diff to current
2018-11-23	bors	Auto merge of #55935 - alexcrichton:vs2017, r=Mark...	blob \| commitdiff \| raw \| diff to current
2018-11-23	kennytm	Rollup merge of #55838 - dralley:fix-cfg-step, r=Kimundi	blob \| commitdiff \| raw \| diff to current
2018-11-22	Guillaume Gomez	Rollup merge of #55980 - csmoe:issue-55891, r=estebank	blob \| commitdiff \| raw \| diff to current
2018-11-22	Guillaume Gomez	Rollup merge of #55961 - tromey:Bug-55944-vecdeque...	blob \| commitdiff \| raw \| diff to current
2018-11-22	Guillaume Gomez	Rollup merge of #55784 - meltinglava:master, r=KodrAus	blob \| commitdiff \| raw \| diff to current
2018-11-22	Guillaume Gomez	Rollup merge of #55485 - petertodd:2018-10-manuallydrop...	blob \| commitdiff \| raw \| diff to current
2018-11-22	bors	Auto merge of #53918 - Havvy:doc-sort-by, r=GuillaumeGomez	blob \| commitdiff \| raw \| diff to current
2018-11-20	bors	Auto merge of #55678 - Aaronepower:master, r=Mark-Simul...	blob \| commitdiff \| raw \| diff to current
2018-11-20	bors	Auto merge of #55983 - oli-obk:static_, r=Mark-Simulacrum	blob \| commitdiff \| raw \| diff to current
2018-11-19	bors	Auto merge of #55971 - SergioBenitez:skip-non-semantic...	blob \| commitdiff \| raw \| diff to current
2018-11-19	Pietro Albini	Rollup merge of #56043 - nikomatsakis:issue-55756-via...	blob \| commitdiff \| raw \| diff to current
2018-11-19	Pietro Albini	Rollup merge of #55970 - RalfJung:miri-backtrace, r...	blob \| commitdiff \| raw \| diff to current
2018-11-19	Pietro Albini	Rollup merge of #55968 - ehuss:non-mod-rs-tests, r...	blob \| commitdiff \| raw \| diff to current
2018-11-19	Pietro Albini	Rollup merge of #55963 - stepancheg:mpsc-take-2, r...	blob \| commitdiff \| raw \| diff to current
2018-11-19	Pietro Albini	Rollup merge of #55962 - QuietMisdreavus:tricky-spans...	blob \| commitdiff \| raw \| diff to current
2018-11-19	Pietro Albini	Rollup merge of #55953 - blitzerr:master, r=nikomatsakis	blob \| commitdiff \| raw \| diff to current
2018-11-19	Pietro Albini	Rollup merge of #55952 - michaelwoerister:newer-clang...	blob \| commitdiff \| raw \| diff to current
2018-11-19	Pietro Albini	Rollup merge of #55949 - ljedrz:return_impl_Iterator_fr...	blob \| commitdiff \| raw \| diff to current
2018-11-18	Pietro Albini	Rollup merge of #55923 - Zeegomo:master, r=estebank	blob \| commitdiff \| raw \| diff to current
2018-11-18	Pietro Albini	Rollup merge of #55919 - Turbo87:num-tests, r=dtolnay	blob \| commitdiff \| raw \| diff to current
2018-11-18	Pietro Albini	Rollup merge of #55916 - RalfJung:mut-visitor, r=oli-obk	blob \| commitdiff \| raw \| diff to current
2018-11-18	Pietro Albini	Rollup merge of #55894 - RalfJung:validation-enums...	blob \| commitdiff \| raw \| diff to current
2018-11-18	Pietro Albini	Rollup merge of #55867 - RalfJung:dont-panic, r=Mark...	blob \| commitdiff \| raw \| diff to current
2018-11-18	Pietro Albini	Rollup merge of #55862 - zackmdavis:but_will_they_come_...	blob \| commitdiff \| raw \| diff to current
2018-11-18	Pietro Albini	Rollup merge of #55834 - ogoffart:union-abi, r=eddyb	blob \| commitdiff \| raw \| diff to current
2018-11-18	Pietro Albini	Rollup merge of #55827 - ljedrz:various_stashed, r...	blob \| commitdiff \| raw \| diff to current
2018-11-18	Pietro Albini	Rollup merge of #55564 - smaeul:test-fixes-2, r=alexcri...	blob \| commitdiff \| raw \| diff to current
2018-11-18	Pietro Albini	Rollup merge of #55562 - smaeul:powerpc-linux-musl...	blob \| commitdiff \| raw \| diff to current
2018-11-18	bors	Auto merge of #55672 - RalfJung:miri-extern-types,...	blob \| commitdiff \| raw \| diff to current
2018-11-18	Matthew Jasper	Remove mir::StatementKind::EndRegion	blob \| commitdiff \| raw \| diff to current
2018-11-16	bors	Auto merge of #55936 - nrc:save-rename, r=eddyb	blob \| commitdiff \| raw \| diff to current
2018-11-15	bors	Auto merge of #55974 - pietroalbini:rollup, r=pietroalbini	blob \| commitdiff \| raw \| diff to current
next

Empowering everyone to build reliable and efficient software.

RSS Atom