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-10	Matthew Jasper	Check user types are well-formed in MIR borrow check	blob \| commitdiff \| raw
2018-10-10	Matthew Jasper	Use the span of the user type for `AscribeUserType`	blob \| commitdiff \| raw \| diff to current
2018-10-09	bors	Auto merge of #54762 - RalfJung:miri-validate, r=oli-obk	blob \| commitdiff \| raw \| diff to current
2018-10-09	bors	Auto merge of #54757 - nikomatsakis:nll-issue-54573...	blob \| commitdiff \| raw \| diff to current
2018-10-09	bors	Auto merge of #54798 - matthewjasper:free-region-closur...	blob \| commitdiff \| raw \| diff to current
2018-10-08	bors	Auto merge of #54700 - frewsxcv:frewsxcv-binary-search...	blob \| commitdiff \| raw \| diff to current
2018-10-08	bors	Auto merge of #54609 - kzys:404-search, r=GuillaumeGomez	blob \| commitdiff \| raw \| diff to current
2018-10-07	bors	Auto merge of #53517 - phungleson:fix-impl-from-for...	blob \| commitdiff \| raw \| diff to current
2018-10-07	bors	Auto merge of #54810 - 1aim:unused-impl-trait, r=oli-obk	blob \| commitdiff \| raw \| diff to current
2018-10-07	bors	Auto merge of #54813 - petrochenkov:uilocale, r=alexcri...	blob \| commitdiff \| raw \| diff to current
2018-10-07	bors	Auto merge of #54823 - euclio:needs-test, r=alexcrichton	blob \| commitdiff \| raw \| diff to current
2018-10-07	bors	Auto merge of #54451 - alexcrichton:no-mangle-extern...	blob \| commitdiff \| raw \| diff to current
2018-10-06	bors	Auto merge of #54766 - alexcrichton:wasm-all-symbols...	blob \| commitdiff \| raw \| diff to current
2018-10-06	Matthew Jasper	Improve closure region bound errors	blob \| commitdiff \| raw \| diff to current
2018-10-06	Matthew Jasper	Move ConstraintCategory to rustc::mir	blob \| commitdiff \| raw \| diff to current
2018-10-05	Pietro Albini	Rollup merge of #54838 - 11Takanori:fix-typo, r=petroch...	blob \| commitdiff \| raw \| diff to current
2018-10-05	Pietro Albini	Rollup merge of #54834 - kzys:fix-small-screen, r=Guill...	blob \| commitdiff \| raw \| diff to current
2018-10-05	Pietro Albini	Rollup merge of #54833 - abonander:issue-54441, r=petro...	blob \| commitdiff \| raw \| diff to current
2018-10-05	Pietro Albini	Rollup merge of #54812 - pnkfelix:issue-32382-index...	blob \| commitdiff \| raw \| diff to current
2018-10-05	Pietro Albini	Rollup merge of #54804 - euclio:inverted-parameters...	blob \| commitdiff \| raw \| diff to current
2018-10-05	Pietro Albini	Rollup merge of #54787 - varkor:unused-mut-in-desugarin...	blob \| commitdiff \| raw \| diff to current
2018-10-05	Pietro Albini	Rollup merge of #54781 - phansch:master, r=varkor	blob \| commitdiff \| raw \| diff to current
2018-10-05	Pietro Albini	Rollup merge of #54078 - GabrielMajeri:expand-sync...	blob \| commitdiff \| raw \| diff to current
2018-10-05	bors	Auto merge of #54743 - ljedrz:cleanup_ty_p2, r=zackmdavis	blob \| commitdiff \| raw \| diff to current
2018-10-05	bors	Auto merge of #54741 - oli-obk:impl_trait_hierarchy...	blob \| commitdiff \| raw \| diff to current
2018-10-05	bors	Auto merge of #52121 - jebrosen:macros2_feature, r...	blob \| commitdiff \| raw \| diff to current
2018-10-05	bors	Auto merge of #54703 - davidtwco:issue-52086, r=nikomat...	blob \| commitdiff \| raw \| diff to current
2018-10-05	bors	Auto merge of #54017 - alexcrichton:wasm-atomics2,...	blob \| commitdiff \| raw \| diff to current
2018-10-04	bors	Auto merge of #54649 - nikomatsakis:universes-refactor...	blob \| commitdiff \| raw \| diff to current
2018-10-04	Niko Matsakis	build up the placeholder indices as we go	blob \| commitdiff \| raw \| diff to current
2018-10-04	Pietro Albini	Rollup merge of #53523 - phungleson:fix-impl-from-for...	blob \| commitdiff \| raw \| diff to current
2018-10-04	bors	Auto merge of #54638 - christianpoveda:master, r=kennytm	blob \| commitdiff \| raw \| diff to current
2018-10-04	bors	Auto merge of #54447 - KiChjang:issue-54331, r=nikomatsakis	blob \| commitdiff \| raw \| diff to current
2018-10-02	Pietro Albini	Rollup merge of #54648 - alexcrichton:update-cargo...	blob \| commitdiff \| raw \| diff to current
2018-10-02	Pietro Albini	Rollup merge of #54458 - scottmcm:bug-54456, r=nikomatsakis	blob \| commitdiff \| raw \| diff to current
2018-10-02	bors	Auto merge of #54343 - blitzerr:master, r=nikomatsakis	blob \| commitdiff \| raw \| diff to current
2018-10-01	kennytm	Rollup merge of #54676 - pnkfelix:issue-15287-kill...	blob \| commitdiff \| raw \| diff to current
2018-10-01	kennytm	Rollup merge of #54674 - RalfJung:miri, r=oli-obk	blob \| commitdiff \| raw \| diff to current
2018-10-01	kennytm	Rollup merge of #54708 - collin5:b49475, r=Mark-Simulacrum	blob \| commitdiff \| raw \| diff to current
2018-10-01	kennytm	Rollup merge of #54681 - alexcrichton:san-names, r...	blob \| commitdiff \| raw \| diff to current
2018-10-01	kennytm	Rollup merge of #54679 - phansch:improve_bug_message...	blob \| commitdiff \| raw \| diff to current
2018-10-01	kennytm	Rollup merge of #54641 - ljedrz:cleanup_rustc_infer...	blob \| commitdiff \| raw \| diff to current
2018-10-01	kennytm	Rollup merge of #54544 - frewsxcv:frewsxcv-deref, r...	blob \| commitdiff \| raw \| diff to current
2018-10-01	kennytm	Rollup merge of #54488 - zackmdavis:and_the_case_of_the...	blob \| commitdiff \| raw \| diff to current
2018-10-01	kennytm	Rollup merge of #53784 - tbu-:pr_doc_slice_isize_max...	blob \| commitdiff \| raw \| diff to current
2018-10-01	bors	Auto merge of #54675 - alexcrichton:defaultlibs, r...	blob \| commitdiff \| raw \| diff to current
2018-10-01	bors	Auto merge of #54662 - matklad:once-perf, r=alexcrichton	blob \| commitdiff \| raw \| diff to current
2018-09-30	bors	Auto merge of #54650 - eddyb:no-extern's-land, r=alexcr...	blob \| commitdiff \| raw \| diff to current
2018-09-30	bors	Auto merge of #54622 - matthewjasper:more-nll-mode...	blob \| commitdiff \| raw \| diff to current
2018-09-30	bors	Auto merge of #54596 - mjbshaw:drop, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2018-09-30	bors	Auto merge of #54639 - nagisa:lets-alias-for-now, r...	blob \| commitdiff \| raw \| diff to current
2018-09-30	Michael Bradshaw	Merge branch 'master' into drop	blob \| commitdiff \| raw \| diff to current
2018-09-30	bors	Auto merge of #54601 - cuviper:prep-1.31, r=Mark-Simulacrum	blob \| commitdiff \| raw \| diff to current
2018-09-29	bors	Auto merge of #54591 - ljedrz:cleanup_typeck_rest,...	blob \| commitdiff \| raw \| diff to current
2018-09-29	bors	Auto merge of #54240 - csmoe:nonzero_from, r=alexcrichton	blob \| commitdiff \| raw \| diff to current
2018-09-29	bors	Auto merge of #54599 - nikomatsakis:issue-54593-impl...	blob \| commitdiff \| raw \| diff to current
2018-09-29	kennytm	Rollup merge of #54577 - QuietMisdreavus:docs-for-procs...	blob \| commitdiff \| raw \| diff to current
2018-09-29	kennytm	Rollup merge of #54604 - alexreg:self_in_typedefs-help...	blob \| commitdiff \| raw \| diff to current
2018-09-29	kennytm	Rollup merge of #54598 - pthariensflame:patch-1, r...	blob \| commitdiff \| raw \| diff to current
2018-09-29	kennytm	Rollup merge of #54590 - alexcrichton:inline-never...	blob \| commitdiff \| raw \| diff to current
2018-09-29	bors	Auto merge of #54576 - froydnj:non-x86-abi-adjustment...	blob \| commitdiff \| raw \| diff to current
2018-09-29	kennytm	Rollup merge of #54567 - tromey:paths-in-stamp-hashes...	blob \| commitdiff \| raw \| diff to current
2018-09-29	kennytm	Rollup merge of #54564 - alexcrichton:new-notes, r...	blob \| commitdiff \| raw \| diff to current
2018-09-28	bors	Auto merge of #54568 - levex:issue-54130, r=nagisa	blob \| commitdiff \| raw \| diff to current
2018-09-28	bors	Auto merge of #54338 - orium:fix-macro-inc-comp, r=nrc	blob \| commitdiff \| raw \| diff to current
2018-09-28	bors	Auto merge of #54547 - AstralSorcerer:issue-54028,...	blob \| commitdiff \| raw \| diff to current
2018-09-27	bors	Auto merge of #54530 - pnkfelix:issue-54047-migrate...	blob \| commitdiff \| raw \| diff to current
2018-09-27	bors	Auto merge of #54468 - matthewjasper:fix-polonius,...	blob \| commitdiff \| raw \| diff to current
2018-09-27	bors	Auto merge of #54355 - pnkfelix:issue-22323-regression...	blob \| commitdiff \| raw \| diff to current
2018-09-27	bors	Auto merge of #52319 - tinco:issue_12590, r=pnkfelix	blob \| commitdiff \| raw \| diff to current
2018-09-27	bors	Auto merge of #54581 - petrochenkov:cfgattr, r=alexcrichton	blob \| commitdiff \| raw \| diff to current
2018-09-26	bors	Auto merge of #54526 - nnethercote:shrink-StatementKind...	blob \| commitdiff \| raw \| diff to current
2018-09-26	Niko Matsakis	use the closure def-id in returns, but closure-base...	blob \| commitdiff \| raw \| diff to current
2018-09-26	Matthew Jasper	Get Polonius borrow check to work in simple cases	blob \| commitdiff \| raw \| diff to current
2018-09-26	bors	Auto merge of #54561 - matthiaskrgr:clippy_up, r=kennytm	blob \| commitdiff \| raw \| diff to current
2018-09-26	bors	Auto merge of #54453 - nikomatsakis:nll-issue-53121...	blob \| commitdiff \| raw \| diff to current
2018-09-26	Niko Matsakis	type_check/mod.rs: rustfmt	blob \| commitdiff \| raw \| diff to current
2018-09-26	Niko Matsakis	use `RegionBoundPairs` type alias	blob \| commitdiff \| raw \| diff to current
2018-09-26	bors	Auto merge of #54199 - nikomatsakis:predicate_may_hold...	blob \| commitdiff \| raw \| diff to current
2018-09-26	bors	Auto merge of #54497 - ralexstokes:stabilize_pattern_pa...	blob \| commitdiff \| raw \| diff to current
2018-09-26	bors	Auto merge of #54548 - nrc:update, r=kennytm	blob \| commitdiff \| raw \| diff to current
2018-09-26	bors	Auto merge of #54164 - mikhail-m1:54131, r=pnkfelix	blob \| commitdiff \| raw \| diff to current
2018-09-25	bors	Auto merge of #54575 - pietroalbini:rollup, r=pietroalbini	blob \| commitdiff \| raw \| diff to current
2018-09-25	Pietro Albini	Rollup merge of #54539 - GuillaumeGomez:fix-js-error...	blob \| commitdiff \| raw \| diff to current
2018-09-25	Pietro Albini	Rollup merge of #54368 - GuillaumeGomez:reduce-side...	blob \| commitdiff \| raw \| diff to current
2018-09-25	Pietro Albini	Rollup merge of #54281 - GuillaumeGomez:search-box...	blob \| commitdiff \| raw \| diff to current
2018-09-25	Pietro Albini	Rollup merge of #53518 - phungleson:fix-impl-from-for...	blob \| commitdiff \| raw \| diff to current
2018-09-25	bors	Auto merge of #53542 - alexreg:impl-trait-in-bindings...	blob \| commitdiff \| raw \| diff to current
2018-09-25	bors	Auto merge of #54430 - adrian-budau:master, r=alexcrichton	blob \| commitdiff \| raw \| diff to current
2018-09-25	bors	Auto merge of #54317 - Centril:feature/dbg_macro, r...	blob \| commitdiff \| raw \| diff to current
2018-09-25	bors	Auto merge of #53693 - scottmcm:marker-trait-attribute...	blob \| commitdiff \| raw \| diff to current
2018-09-25	Alexander Regueiro	Handle locals in closures properly.	blob \| commitdiff \| raw \| diff to current
2018-09-25	Matthew Jasper	Handle impl trait in MIR type checked for assignments.	blob \| commitdiff \| raw \| diff to current
2018-09-25	Alexander Regueiro	Lower `impl Trait` types in locals.	blob \| commitdiff \| raw \| diff to current
2018-09-24	bors	Auto merge of #54416 - christianpoveda:master, r=wesley...	blob \| commitdiff \| raw \| diff to current
2018-09-24	bors	Auto merge of #53783 - RalfJung:ptr-docs, r=alexcrichton	blob \| commitdiff \| raw \| diff to current
2018-09-24	bors	Auto merge of #54507 - csmoe:deny_overflow, r=varkor	blob \| commitdiff \| raw \| diff to current
2018-09-24	bors	Auto merge of #54489 - matthiaskrgr:rls, r=kennytm	blob \| commitdiff \| raw \| diff to current
2018-09-24	bors	Auto merge of #54495 - raventid:improve-e0425-message...	blob \| commitdiff \| raw \| diff to current
2018-09-23	bors	Auto merge of #54485 - arielb1:avoid-ctor-attrs, r...	blob \| commitdiff \| raw \| diff to current
next

Empowering everyone to build reliable and efficient software.

RSS Atom