git.lizzy.rs Git - rust.git/history - src/librustc

]> git.lizzy.rs Git - rust.git/history - src/librustc_infer/infer/combine.rs

[rust.git] / src / librustc_infer / infer / combine.rs

2020-05-20	Bastian Kauschke	rename `Predicate` to `PredicateKind`, introduce alias	blob \| commitdiff \| raw
2020-05-20	bors	Auto merge of #71923 - csmoe:issue-70818, r=tmandry	blob \| commitdiff \| raw \| diff to current
2020-05-20	bors	Auto merge of #71769 - petrochenkov:crto, r=cuviper	blob \| commitdiff \| raw \| diff to current
2020-05-20	bors	Auto merge of #72339 - ehuss:update-cargo, r=ehuss	blob \| commitdiff \| raw \| diff to current
2020-05-19	bors	Auto merge of #69171 - Amanieu:new-asm, r=nagisa,nikoma...	blob \| commitdiff \| raw \| diff to current
2020-05-19	bors	Auto merge of #72227 - nnethercote:tiny-vecs-are-dumb...	blob \| commitdiff \| raw \| diff to current
2020-05-19	Dylan DPC	Rollup merge of #72338 - doctorn:trait-object-ice,...	blob \| commitdiff \| raw \| diff to current
2020-05-19	Dylan DPC	Rollup merge of #72068 - estebank:mut-deref-hack, r...	blob \| commitdiff \| raw \| diff to current
2020-05-19	Dylan DPC	Rollup merge of #72066 - lcnr:const-type-info-err,...	blob \| commitdiff \| raw \| diff to current
2020-05-19	Dylan DPC	Rollup merge of #71886 - t-rapp:tr-saturating-funcs...	blob \| commitdiff \| raw \| diff to current
2020-05-19	bors	Auto merge of #71447 - cuviper:unsized_cow, r=dtolnay	blob \| commitdiff \| raw \| diff to current
2020-05-19	bors	Auto merge of #68717 - petrochenkov:stabexpat, r=varkor	blob \| commitdiff \| raw \| diff to current
2020-05-18	bors	Auto merge of #72330 - Dylan-DPC:rollup-yuxadv8, r...	blob \| commitdiff \| raw \| diff to current
2020-05-18	Dylan DPC	Rollup merge of #72318 - tblah:remote-test-client-doc...	blob \| commitdiff \| raw \| diff to current
2020-05-18	Dylan DPC	Rollup merge of #72290 - elichai:2020-doc-lto, r=wesley...	blob \| commitdiff \| raw \| diff to current
2020-05-18	Dylan DPC	Rollup merge of #72283 - jonas-schievink:elaborate...	blob \| commitdiff \| raw \| diff to current
2020-05-18	Dylan DPC	Rollup merge of #71973 - lcnr:lazy-norm, r=nikomatsakis	blob \| commitdiff \| raw \| diff to current
2020-05-17	flip1995	Merge commit 'e214ea82ad0a751563acf67e1cd9279cf302db3a...	blob \| commitdiff \| raw \| diff to current
2020-05-17	Bastian Kauschke	Logically seperate lazy norm from `const_generics`	blob \| commitdiff \| raw \| diff to current
2020-05-17	Bastian Kauschke	correctly handle escaping bound variables	blob \| commitdiff \| raw \| diff to current
2020-05-17	Bastian Kauschke	merge lazy_normalization_consts into const_generics	blob \| commitdiff \| raw \| diff to current
2020-05-17	Ben Lewis	Put lazy normalization behind a feature gate	blob \| commitdiff \| raw \| diff to current
2020-05-17	Ben Lewis	Emit `ConstEquate` obligation after checking/unifying...	blob \| commitdiff \| raw \| diff to current
2020-05-17	Ben Lewis	Assume unevaluated consts are equal to the other consts...	blob \| commitdiff \| raw \| diff to current
2020-05-16	Dylan DPC	Rollup merge of #71625 - Diggsey:improve-manually-drop...	blob \| commitdiff \| raw \| diff to current
2020-05-16	Dylan DPC	Rollup merge of #71677 - Mark-Simulacrum:hasher-docs...	blob \| commitdiff \| raw \| diff to current
2020-05-16	Dylan DPC	Rollup merge of #71662 - glandium:osstring_from_str...	blob \| commitdiff \| raw \| diff to current
2020-05-15	bors	Auto merge of #69659 - CAD97:step-rework-take-3, r...	blob \| commitdiff \| raw \| diff to current
2020-05-14	Dylan DPC	Rollup merge of #71809 - marmeladema:fix-issue-71104...	blob \| commitdiff \| raw \| diff to current
2020-05-14	bors	Auto merge of #71321 - matthewjasper:alloc-min-spec...	blob \| commitdiff \| raw \| diff to current
2020-05-14	Dylan DPC	Rollup merge of #71910 - mibac138:necessary-paren,...	blob \| commitdiff \| raw \| diff to current
2020-05-14	Ralf Jung	Rollup merge of #71909 - Dolpheyn:doc-from-trait-for...	blob \| commitdiff \| raw \| diff to current
2020-05-14	Ralf Jung	Rollup merge of #71870 - ltratt:more_specific_type_name...	blob \| commitdiff \| raw \| diff to current
2020-05-14	Ralf Jung	Rollup merge of #71525 - ldm0:intosug, r=Mark-Simulacrum	blob \| commitdiff \| raw \| diff to current
2020-05-13	bors	Auto merge of #70416 - mzohreva:mz/sgx-test, r=nikomatsakis	blob \| commitdiff \| raw \| diff to current
2020-05-12	Dylan DPC	Rollup merge of #71928 - mibac138:strikethrough, r...	blob \| commitdiff \| raw \| diff to current
2020-05-12	Dylan DPC	Rollup merge of #71737 - RalfJung:miri-test-threads...	blob \| commitdiff \| raw \| diff to current
2020-05-11	Dylan DPC	Rollup merge of #72019 - matthewjasper:dont-skip-binder...	blob \| commitdiff \| raw \| diff to current
2020-05-11	flip1995	Merge commit '43a1777b89cf6791f9e20878b4e5e3ae907867a5...	blob \| commitdiff \| raw \| diff to current
2020-05-10	bors	Auto merge of #71825 - contrun:cg-option-strip, r=petro...	blob \| commitdiff \| raw \| diff to current
2020-05-10	Ralf Jung	Rollup merge of #71882 - alexcrichton:update-cc, r...	blob \| commitdiff \| raw \| diff to current
2020-05-10	bors	Auto merge of #71775 - petrochenkov:crtcfg, r=matthewjasper	blob \| commitdiff \| raw \| diff to current
2020-05-10	bors	Auto merge of #71557 - matthewjasper:mir-asymmetric...	blob \| commitdiff \| raw \| diff to current
2020-05-09	bors	Auto merge of #69530 - Aaron1011:perf/skip-coerce-var...	blob \| commitdiff \| raw \| diff to current
2020-05-09	Ralf Jung	Rollup merge of #71234 - maurer:init-array, r=cuviper	blob \| commitdiff \| raw \| diff to current
2020-05-09	Ralf Jung	Rollup merge of #71185 - JohnTitor:run-fail, r=petrochenkov	blob \| commitdiff \| raw \| diff to current
2020-05-09	Dylan DPC	Rollup merge of #72018 - mark-i-m:canon-chalk, r=mark-i-m	blob \| commitdiff \| raw \| diff to current
2020-05-09	Dylan DPC	Rollup merge of #71947 - mibac138:dead-code, r=cramertj	blob \| commitdiff \| raw \| diff to current
2020-05-09	Dylan DPC	Rollup merge of #71942 - nnethercote:shrink-LocalDecl...	blob \| commitdiff \| raw \| diff to current
2020-05-09	Dylan DPC	Rollup merge of #71890 - cuviper:simple-error-Registry...	blob \| commitdiff \| raw \| diff to current
2020-05-09	Dylan DPC	Rollup merge of #71839 - LG3696:master, r=cramertj	blob \| commitdiff \| raw \| diff to current
2020-05-09	Dylan DPC	Rollup merge of #70834 - yoshuawuyts:future-pending...	blob \| commitdiff \| raw \| diff to current
2020-05-08	Dylan DPC	Rollup merge of #71975 - nnethercote:reduce-TypedArena...	blob \| commitdiff \| raw \| diff to current
2020-05-08	Dylan DPC	Rollup merge of #71970 - thombles:ios-bitcode-improveme...	blob \| commitdiff \| raw \| diff to current
2020-05-08	Dylan DPC	Rollup merge of #71710 - workingjubilee:jubilee-readd...	blob \| commitdiff \| raw \| diff to current
2020-05-08	Dylan DPC	Rollup merge of #71581 - GuillaumeGomez:unify-lints...	blob \| commitdiff \| raw \| diff to current
2020-05-08	Dylan DPC	Rollup merge of #71993 - ecstatic-morse:cleanup-old...	blob \| commitdiff \| raw \| diff to current
2020-05-08	Dylan DPC	Rollup merge of #71989 - ecstatic-morse:const-context...	blob \| commitdiff \| raw \| diff to current
2020-05-07	bors	Auto merge of #71995 - pietroalbini:ci-windows-detect...	blob \| commitdiff \| raw \| diff to current
2020-05-07	Dylan DPC	Rollup merge of #71783 - estebank:async-block-2015...	blob \| commitdiff \| raw \| diff to current
2020-05-07	Dylan DPC	Rollup merge of #70733 - yoshuawuyts:arc-increment...	blob \| commitdiff \| raw \| diff to current
2020-05-07	Dylan DPC	Rollup merge of #71980 - steveklabnik:warnings-fixes...	blob \| commitdiff \| raw \| diff to current
2020-05-07	Dylan DPC	Rollup merge of #71938 - mark-i-m:de-abuse-err-4, r...	blob \| commitdiff \| raw \| diff to current
2020-05-07	bors	Auto merge of #71649 - ecstatic-morse:ci-stage0-doc...	blob \| commitdiff \| raw \| diff to current
2020-05-07	bors	Auto merge of #55617 - oli-obk:stacker, r=nagisa,oli-obk	blob \| commitdiff \| raw \| diff to current
2020-05-06	Dylan DPC	Rollup merge of #71950 - RalfJung:try-validation-cleanu...	blob \| commitdiff \| raw \| diff to current
2020-05-06	Dylan DPC	Rollup merge of #71918 - GuillaumeGomez:rename-methods...	blob \| commitdiff \| raw \| diff to current
2020-05-06	Dylan DPC	Rollup merge of #71888 - lcnr:refactor-suggest_traits_t...	blob \| commitdiff \| raw \| diff to current
2020-05-06	Dylan DPC	Rollup merge of #71731 - mark-i-m:guide-toolstate-off...	blob \| commitdiff \| raw \| diff to current
2020-05-06	Dylan DPC	Rollup merge of #70908 - estebank:suggest-add, r=nikoma...	blob \| commitdiff \| raw \| diff to current
2020-05-06	Dylan DPC	Rollup merge of #71944 - ldm0:arrordhint, r=sfackler	blob \| commitdiff \| raw \| diff to current
2020-05-06	Dylan DPC	Rollup merge of #71937 - mzohreva:mz/ui-tests-ignore...	blob \| commitdiff \| raw \| diff to current
2020-05-06	Dylan DPC	Rollup merge of #71929 - petrhosek:unwind-visibility...	blob \| commitdiff \| raw \| diff to current
2020-05-06	Dylan DPC	Rollup merge of #71893 - ecstatic-morse:dataflow-impls...	blob \| commitdiff \| raw \| diff to current
2020-05-06	Dylan DPC	Rollup merge of #71819 - jyn514:check-for-tools, r...	blob \| commitdiff \| raw \| diff to current
2020-05-06	Dylan DPC	Rollup merge of #71591 - hermitcore:thread_create,...	blob \| commitdiff \| raw \| diff to current
2020-05-06	Dylan DPC	Rollup merge of #71269 - Mark-Simulacrum:sat-float...	blob \| commitdiff \| raw \| diff to current
2020-05-06	Dylan DPC	Rollup merge of #71921 - RalfJung:open-mode, r=hanna...	blob \| commitdiff \| raw \| diff to current
2020-05-06	Dylan DPC	Rollup merge of #71914 - pietroalbini:relnotes-1.43...	blob \| commitdiff \| raw \| diff to current
2020-05-06	Dylan DPC	Rollup merge of #71905 - mibac138:x-cmd-alias, r=Mark...	blob \| commitdiff \| raw \| diff to current
2020-05-06	Dylan DPC	Rollup merge of #71889 - RalfJung:rwlock, r=Amanieu	blob \| commitdiff \| raw \| diff to current
2020-05-06	Dylan DPC	Rollup merge of #71727 - hbina:simplified_usage, r...	blob \| commitdiff \| raw \| diff to current
2020-05-06	Dylan DPC	Rollup merge of #71510 - ssomers:btreemap_iter_intertwi...	blob \| commitdiff \| raw \| diff to current
2020-05-06	bors	Auto merge of #69464 - Marwes:detach_undo_log, r=nikoma...	blob \| commitdiff \| raw \| diff to current
2020-05-05	Markus Westerlind	perf: Reduce snapshot/rollback overhead	blob \| commitdiff \| raw \| diff to current
2020-05-02	Oliver Scherer	Add 'src/tools/clippy/' from commit 'd2708873ef711ec8ab...	blob \| commitdiff \| raw \| diff to current
2020-04-30	Tyler Mandry	Rollup merge of #71148 - bluss:vec-drop-raw-slice,...	blob \| commitdiff \| raw \| diff to current
2020-04-30	Dylan DPC	Rollup merge of #70950 - nikomatsakis:leak-check-nll...	blob \| commitdiff \| raw \| diff to current
2020-04-30	Dylan DPC	Rollup merge of #71205 - NeoRaider:check_attr, r=jonas...	blob \| commitdiff \| raw \| diff to current
2020-04-29	Dylan DPC	Rollup merge of #71296 - ChiefMilesEdgeworth:fix_doc_wo...	blob \| commitdiff \| raw \| diff to current
2020-04-29	Dylan DPC	Rollup merge of #71286 - Alexendoo:test-issue-69654...	blob \| commitdiff \| raw \| diff to current
2020-04-28	Dylan DPC	Rollup merge of #71311 - estebank:fn-type-param, r...	blob \| commitdiff \| raw \| diff to current
2020-04-27	Dylan DPC	Rollup merge of #71263 - shlevy:FileLoader-remove-abs_p...	blob \| commitdiff \| raw \| diff to current
2020-04-25	Dylan DPC	Rollup merge of #71140 - oli-obk:static_cycle, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2020-04-25	Dylan DPC	Rollup merge of #71168 - SimonSapin:into_raw_non_null...	blob \| commitdiff \| raw \| diff to current
2020-04-25	Dylan DPC	Rollup merge of #70712 - :stabilize-remove-entry, r...	blob \| commitdiff \| raw \| diff to current
2020-04-25	Dylan DPC	Rollup merge of #69813 - thomcc:nonzero-bitor, r=Amanieu	blob \| commitdiff \| raw \| diff to current
2020-04-25	Dylan DPC	Rollup merge of #71364 - Amanieu:zprofile_compiler_buil...	blob \| commitdiff \| raw \| diff to current
2020-04-24	Dylan DPC	Rollup merge of #69456 - contrun:fix-misleading-compile...	blob \| commitdiff \| raw \| diff to current
2020-04-24	Dylan DPC	Rollup merge of #71068 - pyfisch:unicode-version-stable...	blob \| commitdiff \| raw \| diff to current
next

Empowering everyone to build reliable and efficient software.

RSS Atom