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-10-24	Niko Matsakis	port the relate-types code from NLL type-check into...	blob \| commitdiff \| raw
2018-10-24	Niko Matsakis	introduce (but do not use) `ascribe_user_type` goal	blob \| commitdiff \| raw \| diff to current
2018-10-23	bors	Auto merge of #55229 - nikomatsakis:issue-54692-closure...	blob \| commitdiff \| raw \| diff to current
2018-10-23	Niko Matsakis	type_check/mod.rs: rustfmt	blob \| commitdiff \| raw \| diff to current
2018-10-23	Niko Matsakis	check the self type is well-formed	blob \| commitdiff \| raw \| diff to current
2018-10-23	bors	Auto merge of #55113 - mockersf:master, r=estebank	blob \| commitdiff \| raw \| diff to current
2018-10-23	bors	Auto merge of #54778 - scottmcm:stabilize-ihle, r=pnkfelix	blob \| commitdiff \| raw \| diff to current
2018-10-23	bors	Auto merge of #55231 - zackmdavis:determinate, r=oli-obk	blob \| commitdiff \| raw \| diff to current
2018-10-22	bors	Auto merge of #55224 - kryptan:master, r=matthewjasper	blob \| commitdiff \| raw \| diff to current
2018-10-22	bors	Auto merge of #55126 - GuillaumeGomez:improve-search...	blob \| commitdiff \| raw \| diff to current
2018-10-21	bors	Auto merge of #55179 - bjorn3:miri_public_op_field...	blob \| commitdiff \| raw \| diff to current
2018-10-21	bors	Auto merge of #55236 - petrochenkov:pfail, r=davidtwco	blob \| commitdiff \| raw \| diff to current
2018-10-21	bors	Auto merge of #52984 - fabric-and-ink:remove-canonical...	blob \| commitdiff \| raw \| diff to current
2018-10-21	bors	Auto merge of #55069 - matthewjasper:explain-free-regio...	blob \| commitdiff \| raw \| diff to current
2018-10-21	bors	Auto merge of #55125 - RalfJung:stacked-borrows, r...	blob \| commitdiff \| raw \| diff to current
2018-10-20	Matthew Jasper	Use more accurate `ConstraintCategory`s	blob \| commitdiff \| raw \| diff to current
2018-10-20	Manish Goregaokar	Rollup merge of #55213 - qmx:tidy-fix, r=tmandry	blob \| commitdiff \| raw \| diff to current
2018-10-20	Manish Goregaokar	Rollup merge of #55203 - scalexm:program-clauses, r...	blob \| commitdiff \| raw \| diff to current
2018-10-20	Manish Goregaokar	Rollup merge of #55189 - steveklabnik:update-books...	blob \| commitdiff \| raw \| diff to current
2018-10-20	Manish Goregaokar	Rollup merge of #55073 - alexcrichton:demote-simd,...	blob \| commitdiff \| raw \| diff to current
2018-10-20	bors	Auto merge of #55156 - PramodBisht:issue/52717, r=estebank	blob \| commitdiff \| raw \| diff to current
2018-10-20	bors	Auto merge of #55119 - varkor:unwarned-match-on-never...	blob \| commitdiff \| raw \| diff to current
2018-10-20	bors	Auto merge of #55014 - ljedrz:lazyboye_unwraps, r=matth...	blob \| commitdiff \| raw \| diff to current
2018-10-20	bors	Auto merge of #55114 - oli-obk:fx#map, r=nikomatsakis	blob \| commitdiff \| raw \| diff to current
2018-10-20	bors	Auto merge of #55007 - davidtwco:issue-39175, r=petroch...	blob \| commitdiff \| raw \| diff to current
2018-10-19	bors	Auto merge of #55162 - nikomatsakis:issue-54902-undersc...	blob \| commitdiff \| raw \| diff to current
2018-10-19	bors	Auto merge of #55152 - nikomatsakis:nll-issue-54571...	blob \| commitdiff \| raw \| diff to current
2018-10-19	Niko Matsakis	normalize the self-type that we extract from impl	blob \| commitdiff \| raw \| diff to current
2018-10-19	Niko Matsakis	normalize and prove predicates	blob \| commitdiff \| raw \| diff to current
2018-10-19	Niko Matsakis	normalize after substitution	blob \| commitdiff \| raw \| diff to current
2018-10-19	Niko Matsakis	pull `relate_type_and_user_type` code into `type_check...	blob \| commitdiff \| raw \| diff to current
2018-10-19	Oliver Scherer	Prefer `Default::default` over `FxHash*::default` in...	blob \| commitdiff \| raw \| diff to current
2018-10-19	Oliver Scherer	Deprecate the `FxHashMap()` and `FxHashSet()` construct...	blob \| commitdiff \| raw \| diff to current
2018-10-19	Niko Matsakis	type_check/mod.rs: rustfmt	blob \| commitdiff \| raw \| diff to current
2018-10-19	bors	Auto merge of #55194 - kennytm:rollup, r=kennytm	blob \| commitdiff \| raw \| diff to current
2018-10-19	kennytm	Rollup merge of #55013 - matthewjasper:propagate-genera...	blob \| commitdiff \| raw \| diff to current
2018-10-19	kennytm	Rollup merge of #55169 - raphlinus:copysign, r=joshtriplett	blob \| commitdiff \| raw \| diff to current
2018-10-19	kennytm	Rollup merge of #55166 - varkor:ret-parens, r=davidtwco	blob \| commitdiff \| raw \| diff to current
2018-10-19	kennytm	Rollup merge of #55071 - oli-obk:const_cast_🍨, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2018-10-19	kennytm	Rollup merge of #54300 - Aaronepower:master, r=Aaronepower	blob \| commitdiff \| raw \| diff to current
2018-10-19	bors	Auto merge of #55004 - oli-obk:sized_static, r=cramertj	blob \| commitdiff \| raw \| diff to current
2018-10-18	Matthew Jasper	Propagate bounds from generators	blob \| commitdiff \| raw \| diff to current
2018-10-18	bors	Auto merge of #54979 - estebank:path-unsized, r=nikomat...	blob \| commitdiff \| raw \| diff to current
2018-10-18	bors	Auto merge of #54580 - sdroege:rchunks, r=SimonSapin	blob \| commitdiff \| raw \| diff to current
2018-10-18	bors	Auto merge of #54349 - GuillaumeGomez:no-example-lint...	blob \| commitdiff \| raw \| diff to current
2018-10-18	kennytm	Rollup merge of #55111 - Havvy:rustc-book-cfg-examples...	blob \| commitdiff \| raw \| diff to current
2018-10-18	kennytm	Rollup merge of #55128 - varkor:LLVMRustInlineAsmVerify...	blob \| commitdiff \| raw \| diff to current
2018-10-18	kennytm	Rollup merge of #55127 - ljedrz:simplify_hybridbitset...	blob \| commitdiff \| raw \| diff to current
2018-10-18	kennytm	Rollup merge of #55104 - estebank:addtest, r=alexcrichton	blob \| commitdiff \| raw \| diff to current
2018-10-18	kennytm	Rollup merge of #55090 - pnkfelix:issue-54597-regressio...	blob \| commitdiff \| raw \| diff to current
2018-10-18	kennytm	Rollup merge of #55080 - thanatos:fix-localstorage...	blob \| commitdiff \| raw \| diff to current
2018-10-18	kennytm	Rollup merge of #55077 - ollie27:rustdoc_dyn_trait...	blob \| commitdiff \| raw \| diff to current
2018-10-18	kennytm	Rollup merge of #55050 - tshepang:repetition, r=stevekl...	blob \| commitdiff \| raw \| diff to current
2018-10-18	kennytm	Rollup merge of #55031 - nikic:verify_llvm_ir, r=Mark...	blob \| commitdiff \| raw \| diff to current
2018-10-18	kennytm	Rollup merge of #55016 - oli-obk:vtables💥_vtables_every...	blob \| commitdiff \| raw \| diff to current
2018-10-18	kennytm	Rollup merge of #54964 - tromey:run-both-gdb-and-lldb...	blob \| commitdiff \| raw \| diff to current
2018-10-18	kennytm	Rollup merge of #54933 - ljedrz:cleanup_codegen_llvm...	blob \| commitdiff \| raw \| diff to current
2018-10-18	kennytm	Rollup merge of #54646 - vn971:fix_std_thread_sleep...	blob \| commitdiff \| raw \| diff to current
2018-10-17	bors	Auto merge of #55134 - davidtwco:issue-55118, r=pnkfelix	blob \| commitdiff \| raw \| diff to current
2018-10-17	bors	Auto merge of #54946 - estebank:iterator, r=varkor	blob \| commitdiff \| raw \| diff to current
2018-10-17	bors	Auto merge of #54941 - pnkfelix:issue-21232-reject...	blob \| commitdiff \| raw \| diff to current
2018-10-17	bors	Auto merge of #54939 - pnkfelix:issue-54478-dont-prefer...	blob \| commitdiff \| raw \| diff to current
2018-10-17	bors	Auto merge of #54671 - petrochenkov:extpre2015, r=nikom...	blob \| commitdiff \| raw \| diff to current
2018-10-16	bors	Auto merge of #55093 - nikomatsakis:nll-issue-54574...	blob \| commitdiff \| raw \| diff to current
2018-10-16	bors	Auto merge of #54251 - varkor:silence-bad_style, r...	blob \| commitdiff \| raw \| diff to current
2018-10-16	bors	Auto merge of #54937 - alexcrichton:update-stdsimd...	blob \| commitdiff \| raw \| diff to current
2018-10-16	bors	Auto merge of #55023 - euclio:llvm-error-handler, r...	blob \| commitdiff \| raw \| diff to current
2018-10-15	Niko Matsakis	introduce a `UserTypeAnnotation` enum	blob \| commitdiff \| raw \| diff to current
2018-10-15	Manish Goregaokar	Rollup merge of #55025 - ehuss:missing-lifetime-err...	blob \| commitdiff \| raw \| diff to current
2018-10-15	Manish Goregaokar	Rollup merge of #54991 - euclio:issue-23189, r=tmandry	blob \| commitdiff \| raw \| diff to current
2018-10-15	Manish Goregaokar	Rollup merge of #54820 - kleimkuhler:issue-54538-unused...	blob \| commitdiff \| raw \| diff to current
2018-10-15	bors	Auto merge of #55024 - alexcrichton:wasm-simd-by-val...	blob \| commitdiff \| raw \| diff to current
2018-10-15	bors	Auto merge of #55008 - ljedrz:cleanup_rustc_driver...	blob \| commitdiff \| raw \| diff to current
2018-10-14	bors	Auto merge of #55032 - oli-obk:the_early_unwrap_gets_th...	blob \| commitdiff \| raw \| diff to current
2018-10-14	bors	Auto merge of #55018 - euclio:issue-24421, r=alexcrichton	blob \| commitdiff \| raw \| diff to current
2018-10-13	bors	Auto merge of #55017 - memoryruins:add-tests, r=alexcri...	blob \| commitdiff \| raw \| diff to current
2018-10-13	bors	Auto merge of #54951 - alexcrichton:more-wasm-threads...	blob \| commitdiff \| raw \| diff to current
2018-10-13	bors	Auto merge of #54997 - davidtwco:issue-54896, r=nagisa	blob \| commitdiff \| raw \| diff to current
2018-10-13	bors	Auto merge of #54980 - zackmdavis:and_the_case_of_the_u...	blob \| commitdiff \| raw \| diff to current
2018-10-13	bors	Auto merge of #54945 - estebank:asm-span, r=petrochenkov	blob \| commitdiff \| raw \| diff to current
2018-10-12	bors	Auto merge of #54942 - matthewjasper:wf-type-annotation...	blob \| commitdiff \| raw \| diff to current
2018-10-12	kennytm	Rollup merge of #54989 - Munksgaard:fix-htmldocck-typos...	blob \| commitdiff \| raw \| diff to current
2018-10-12	kennytm	Rollup merge of #54932 - ljedrz:a_handful_of_string_imp...	blob \| commitdiff \| raw \| diff to current
2018-10-12	kennytm	Rollup merge of #54920 - varkor:must_use-unit, r=estebank	blob \| commitdiff \| raw \| diff to current
2018-10-12	kennytm	Rollup merge of #54913 - RalfJung:unwind-safe, r=alexcr...	blob \| commitdiff \| raw \| diff to current
2018-10-12	kennytm	Rollup merge of #54891 - rust-lang:SimonSapin-patch...	blob \| commitdiff \| raw \| diff to current
2018-10-12	kennytm	Rollup merge of #54860 - mandeep:vec-initialize, r...	blob \| commitdiff \| raw \| diff to current
2018-10-12	kennytm	Rollup merge of #54825 - davidtwco:issue-52663-deref...	blob \| commitdiff \| raw \| diff to current
2018-10-12	kennytm	Rollup merge of #54811 - pnkfelix:issue-24840-separate...	blob \| commitdiff \| raw \| diff to current
2018-10-12	kennytm	Rollup merge of #54755 - lucasloisp:document-reference...	blob \| commitdiff \| raw \| diff to current
2018-10-12	bors	Auto merge of #54715 - oli-obk:nll_deref_promotion...	blob \| commitdiff \| raw \| diff to current
2018-10-12	bors	Auto merge of #53933 - GuillaumeGomez:codeblock-error...	blob \| commitdiff \| raw \| diff to current
2018-10-12	bors	Auto merge of #54534 - nagisa:align-offset-simplificati...	blob \| commitdiff \| raw \| diff to current
2018-10-12	bors	Auto merge of #54924 - RalfJung:use-maybe-uninit2,...	blob \| commitdiff \| raw \| diff to current
2018-10-11	bors	Auto merge of #54911 - ljedrz:cleanup_codegen_llvm_top...	blob \| commitdiff \| raw \| diff to current
2018-10-11	bors	Auto merge of #54850 - mcr431:fix-54707-trait-function...	blob \| commitdiff \| raw \| diff to current
2018-10-11	bors	Auto merge of #54848 - davidtwco:issue-52663-trait...	blob \| commitdiff \| raw \| diff to current
2018-10-10	Manish Goregaokar	Rollup merge of #54909 - scalexm:finish-rules, r=nikoma...	blob \| commitdiff \| raw \| diff to current
2018-10-10	Manish Goregaokar	Rollup merge of #54904 - Kerollmops:stabilize-option...	blob \| commitdiff \| raw \| diff to current
2018-10-10	Manish Goregaokar	Rollup merge of #54893 - dsciarra:issue-54379, r=pnkfelix	blob \| commitdiff \| raw \| diff to current
next

Empowering everyone to build reliable and efficient software.

RSS Atom