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-06-27	Niko Matsakis	pull out `ParamEnvAnd` and remove `QueryKey`	blob \| commitdiff \| raw
2018-06-26	Niko Matsakis	instantiate closure requirements as query-region-constr...	blob \| commitdiff \| raw \| diff to current
2018-06-26	Niko Matsakis	transition to `Fallible`	blob \| commitdiff \| raw \| diff to current
2018-06-26	Niko Matsakis	introduce `Normalizable` trait for things directly...	blob \| commitdiff \| raw \| diff to current
2018-06-26	Niko Matsakis	convert `predicates` to operate on 1 predicate at a...	blob \| commitdiff \| raw \| diff to current
2018-06-26	Niko Matsakis	move `type_op` into `rustc`	blob \| commitdiff \| raw \| diff to current
2018-06-26	Niko Matsakis	make `convert` so it can apply to a single constraint	blob \| commitdiff \| raw \| diff to current
2018-06-26	Niko Matsakis	extract type-ops into their own submodules	blob \| commitdiff \| raw \| diff to current
2018-06-26	Niko Matsakis	replace `LexicalRegionConstraintData` with `QueryRegion...	blob \| commitdiff \| raw \| diff to current
2018-06-26	Niko Matsakis	align the `type-op` outputs with what canonicalized...	blob \| commitdiff \| raw \| diff to current
2018-06-26	Niko Matsakis	mk `fully_perform_op_and_get_region_constraint_data...	blob \| commitdiff \| raw \| diff to current
2018-06-26	Niko Matsakis	remove the `TypeOp` vs `InfcxTypeOp` distinction	blob \| commitdiff \| raw \| diff to current
2018-06-26	Niko Matsakis	make `TypeOp` implement debug instead of carrying a...	blob \| commitdiff \| raw \| diff to current
2018-06-26	Niko Matsakis	create `InfcxTypeOp` that only depend on an `infcx`	blob \| commitdiff \| raw \| diff to current
2018-06-26	Niko Matsakis	make normalize into an op	blob \| commitdiff \| raw \| diff to current
2018-06-26	Niko Matsakis	let `trivial_noop` take ownership of `self`	blob \| commitdiff \| raw \| diff to current
2018-06-26	Niko Matsakis	make `normalize` take ownership of the thing to be...	blob \| commitdiff \| raw \| diff to current
2018-06-26	Niko Matsakis	introduce `prove_predicates` type op	blob \| commitdiff \| raw \| diff to current
2018-06-26	Niko Matsakis	introduce `trivial_noop` to accommodate micro-optimizations	blob \| commitdiff \| raw \| diff to current
2018-06-26	Niko Matsakis	introduce `Eq` type-op	blob \| commitdiff \| raw \| diff to current
2018-06-26	Niko Matsakis	introduce `Subtype` type_op	blob \| commitdiff \| raw \| diff to current
2018-06-26	Niko Matsakis	introduce `type_op`	blob \| commitdiff \| raw \| diff to current
2018-06-26	bors	Auto merge of #49469 - Nokel81:allow-irrefutable-let...	blob \| commitdiff \| raw \| diff to current
2018-06-26	bors	Auto merge of #51613 - nnethercote:ob-forest-cleanup...	blob \| commitdiff \| raw \| diff to current
2018-06-26	bors	Auto merge of #50630 - sharkdp:fix-50619, r=sfackler	blob \| commitdiff \| raw \| diff to current
2018-06-22	bors	Auto merge of #51482 - GuillaumeGomez:table-display...	blob \| commitdiff \| raw \| diff to current
2018-06-22	kennytm	Rollup merge of #51158 - ogham:patch-1, r=steveklabnik	blob \| commitdiff \| raw \| diff to current
2018-06-22	bors	Auto merge of #51433 - scalexm:finish-rules, r=nikomatsakis	blob \| commitdiff \| raw \| diff to current
2018-06-21	bors	Auto merge of #50336 - japaric:llvm-tools, r=Mark-Simul...	blob \| commitdiff \| raw \| diff to current
2018-06-21	bors	Auto merge of #51601 - Emerentius:step_by_range_diet...	blob \| commitdiff \| raw \| diff to current
2018-06-20	bors	Auto merge of #51617 - nnethercote:nll-allocs, r=pnkfelix	blob \| commitdiff \| raw \| diff to current
2018-06-19	bors	Auto merge of #51367 - oli-obk:silence!_I_test_you...	blob \| commitdiff \| raw \| diff to current
2018-06-19	bors	Auto merge of #51081 - kornelski:examplestr, r=steveklabnik	blob \| commitdiff \| raw \| diff to current
2018-06-19	bors	Auto merge of #51597 - Mark-Simulacrum:update-books...	blob \| commitdiff \| raw \| diff to current
2018-06-19	bors	Auto merge of #51278 - EPashkin:fix_mod_with_multilevel...	blob \| commitdiff \| raw \| diff to current
2018-06-18	bors	Auto merge of #51248 - fabric-and-ink:newtype_index_deb...	blob \| commitdiff \| raw \| diff to current
2018-06-18	bors	Auto merge of #50894 - teiesti:stabilize_path_ancestors...	blob \| commitdiff \| raw \| diff to current
2018-06-18	bors	Auto merge of #51460 - nikomatsakis:nll-perf-examinatio...	blob \| commitdiff \| raw \| diff to current
2018-06-09	Niko Matsakis	remove some `#[inline(never)]`	blob \| commitdiff \| raw \| diff to current
2018-06-09	Niko Matsakis	use `DUMMY_NODE_ID` as the `body_id` during NLL type...	blob \| commitdiff \| raw \| diff to current
2018-06-09	Niko Matsakis	convert type-check constraints into NLL constraints...	blob \| commitdiff \| raw \| diff to current
2018-06-09	Niko Matsakis	extract out `fully_perform_op_and_get_region_constraints`	blob \| commitdiff \| raw \| diff to current
2018-06-09	Niko Matsakis	put the `RegionConstraintData` into an `Rc`	blob \| commitdiff \| raw \| diff to current
2018-06-09	Niko Matsakis	librustc_mir/borrow_check/nll/type_check/mod.rs: rustfmt	blob \| commitdiff \| raw \| diff to current
2018-06-09	Niko Matsakis	micro-optimize empty predicate and normalize lists	blob \| commitdiff \| raw \| diff to current
2018-06-09	Niko Matsakis	skip `eq_types` and `sub_types` when the two types...	blob \| commitdiff \| raw \| diff to current
2018-06-09	Niko Matsakis	add some instrumentation	blob \| commitdiff \| raw \| diff to current
2018-06-08	Mark Rousskov	Rollup merge of #51276 - Havvy:dyn-trait-send-send...	blob \| commitdiff \| raw \| diff to current
2018-06-08	Mark Rousskov	Rollup merge of #51099 - Crazycolorz5:expectedclosepare...	blob \| commitdiff \| raw \| diff to current
2018-06-05	Mark Simulacrum	Rollup merge of #50852 - mandeep:fix-rustdoc-example...	blob \| commitdiff \| raw \| diff to current
2018-06-04	Mark Simulacrum	Rollup merge of #51326 - sdroege:slice-iter-cleanup...	blob \| commitdiff \| raw \| diff to current
2018-06-02	Mark Simulacrum	Rollup merge of #51124 - frewsxcv:frewsxcv-replace...	blob \| commitdiff \| raw \| diff to current
2018-06-02	Mark Simulacrum	Rollup merge of #50919 - frewsxcv:frewsxcv-epsilon...	blob \| commitdiff \| raw \| diff to current
2018-06-02	Mark Simulacrum	Rollup merge of #50167 - fintelia:duration-nanos, r...	blob \| commitdiff \| raw \| diff to current
2018-06-01	Mark Simulacrum	Rollup merge of #51272 - steveklabnik:remove_feature_fl...	blob \| commitdiff \| raw \| diff to current
2018-06-01	Mark Simulacrum	Rollup merge of #51135 - estebank:sugg-7575, r=oli-obk	blob \| commitdiff \| raw \| diff to current
2018-05-31	Guillaume Gomez	Rollup merge of #51240 - nnethercote:parse-2, r=nikomat...	blob \| commitdiff \| raw \| diff to current
2018-05-31	Guillaume Gomez	Rollup merge of #51227 - uuttff8:master, r=dtolnay	blob \| commitdiff \| raw \| diff to current
2018-05-31	Guillaume Gomez	Rollup merge of #51193 - GuillaumeGomez:fixes-style...	blob \| commitdiff \| raw \| diff to current
2018-05-30	Eduard-Mihai Burtescu	rustc: rename mir::LocalDecl's syntactic_source_info...	blob \| commitdiff \| raw \| diff to current
2018-05-30	Eduard-Mihai Burtescu	rustc: turn mir::LocalDecl's visibility_source_info...	blob \| commitdiff \| raw \| diff to current
2018-05-30	Eduard-Mihai Burtescu	rustc: rename mir::LocalDecl's source_info to visibilit...	blob \| commitdiff \| raw \| diff to current
2018-05-30	bors	Auto merge of #50880 - glandium:oom, r=SimonSapin	blob \| commitdiff \| raw \| diff to current
2018-05-30	bors	Auto merge of #51106 - davidtwco:issue-50934, r=nikomat...	blob \| commitdiff \| raw \| diff to current
2018-05-30	bors	Auto merge of #51017 - estebank:crate-name-in-path...	blob \| commitdiff \| raw \| diff to current
2018-05-30	bors	Auto merge of #50783 - pnkfelix:issue-27282-match-borro...	blob \| commitdiff \| raw \| diff to current
2018-05-29	bors	Auto merge of #50772 - nicokoch:fastcopy, r=alexcrichton	blob \| commitdiff \| raw \| diff to current
2018-05-29	Felix S. Klock II	rust-lang/rust#27282: Add `StatementKind::ReadForMatch...	blob \| commitdiff \| raw \| diff to current
2018-05-28	bors	Auto merge of #50465 - clarcharr:wrapping, r=KodrAus	blob \| commitdiff \| raw \| diff to current
2018-05-28	bors	Auto merge of #50724 - zackmdavis:applicability_rush...	blob \| commitdiff \| raw \| diff to current
2018-05-28	bors	Auto merge of #50892 - davidtwco:issue-50004, r=alexcri...	blob \| commitdiff \| raw \| diff to current
2018-05-26	kennytm	Rollup merge of #51048 - GuillaumeGomez:formatter-examp...	blob \| commitdiff \| raw \| diff to current
2018-05-26	kennytm	Rollup merge of #51014 - GuillaumeGomez:env_docs, r...	blob \| commitdiff \| raw \| diff to current
2018-05-26	bors	Auto merge of #50364 - LukasKalbertodt:improve-duration...	blob \| commitdiff \| raw \| diff to current
2018-05-25	bors	Auto merge of #50998 - bobtwinkles:nll_facts_invalidate...	blob \| commitdiff \| raw \| diff to current
2018-05-24	kennytm	Rollup merge of #51011 - QuietMisdreavus:duplicitous...	blob \| commitdiff \| raw \| diff to current
2018-05-24	bors	Auto merge of #50949 - eddyb:debuginfo, r=mw	blob \| commitdiff \| raw \| diff to current
2018-05-24	kennytm	Rollup merge of #50981 - nnethercote:shrink-LiveNode...	blob \| commitdiff \| raw \| diff to current
2018-05-24	kennytm	Rollup merge of #50979 - Manishearth:type-only, r=estebank	blob \| commitdiff \| raw \| diff to current
2018-05-24	kennytm	Rollup merge of #50864 - jakllsch:add-netbsd-arm-target...	blob \| commitdiff \| raw \| diff to current
2018-05-24	bors	Auto merge of #50943 - oli-obk:cleanups, r=estebank	blob \| commitdiff \| raw \| diff to current
2018-05-23	bors	Auto merge of #50933 - SimonSapin:anchorage, r=alexcrichton	blob \| commitdiff \| raw \| diff to current
2018-05-23	bors	Auto merge of #50916 - oli-obk:miri, r=eddyb	blob \| commitdiff \| raw \| diff to current
2018-05-23	bors	Auto merge of #50891 - davidtwco:nll-kill-loans-out...	blob \| commitdiff \| raw \| diff to current
2018-05-23	bors	Auto merge of #50528 - whitfin:issue-50508, r=michaelwo...	blob \| commitdiff \| raw \| diff to current
2018-05-23	bors	Auto merge of #50798 - bobtwinkles:nll_facts_invalidate...	blob \| commitdiff \| raw \| diff to current
2018-05-23	bors	Auto merge of #50682 - F001:issue-50589, r=petrochenkov	blob \| commitdiff \| raw \| diff to current
2018-05-22	bors	Auto merge of #50969 - nikomatsakis:issue-50673-broken...	blob \| commitdiff \| raw \| diff to current
2018-05-22	kennytm	Rollup merge of #50963 - nnethercote:coercion-VecDeque1...	blob \| commitdiff \| raw \| diff to current
2018-05-22	kennytm	Rollup merge of #50958 - KiChjang:nit-50697, r=pnkfelix	blob \| commitdiff \| raw \| diff to current
2018-05-22	kennytm	Rollup merge of #50952 - steveklabnik:2018-book, r...	blob \| commitdiff \| raw \| diff to current
2018-05-22	kennytm	Rollup merge of #50947 - QuietMisdreavus:nice-tabs...	blob \| commitdiff \| raw \| diff to current
2018-05-22	kennytm	Rollup merge of #50946 - alexcrichton:fix-parse-lifetim...	blob \| commitdiff \| raw \| diff to current
2018-05-22	kennytm	Rollup merge of #50945 - stjepang:stabilize-from-ref...	blob \| commitdiff \| raw \| diff to current
2018-05-22	kennytm	Rollup merge of #50932 - nnethercote:seen-Predicates...	blob \| commitdiff \| raw \| diff to current
2018-05-22	kennytm	Rollup merge of #50931 - nnethercote:inline-try_get...	blob \| commitdiff \| raw \| diff to current
2018-05-22	kennytm	Rollup merge of #50914 - simartin:issue_50636, r=oli-obk	blob \| commitdiff \| raw \| diff to current
2018-05-22	kennytm	Rollup merge of #50913 - d-e-s-o:fix-typo, r=joshtriplett	blob \| commitdiff \| raw \| diff to current
2018-05-22	kennytm	Rollup merge of #50875 - QuietMisdreavus:short-features...	blob \| commitdiff \| raw \| diff to current
2018-05-22	kennytm	Rollup merge of #50863 - oli-obk:const_len, r=SimonSapi...	blob \| commitdiff \| raw \| diff to current
next

Empowering everyone to build reliable and efficient software.

RSS Atom