]> git.lizzy.rs Git - rust.git/history - src/librustc/traits/fulfill.rs
Revert previous attempt at detecting unsatisfiable predicates
[rust.git] / src / librustc / traits / fulfill.rs
2020-01-16 Aaron HillRevert previous attempt at detecting unsatisfiable...
2020-01-16 Dylan DPCRollup merge of #68263 - ollie27:rustdoc_invalid_syntax...
2020-01-16 Dylan DPCRollup merge of #68255 - tmiasko:unused-aux, r=Dylan-DPC
2020-01-16 Dylan DPCRollup merge of #68033 - ollie27:win_f32, r=dtolnay
2020-01-16 borsAuto merge of #68258 - RalfJung:miri, r=RalfJung
2020-01-16 Dylan DPCRollup merge of #68223 - SOF3:float-fract-doc, r=varkor
2020-01-16 Dylan DPCRollup merge of #68096 - varkor:diagnostic-cleanup...
2020-01-16 Dylan DPCRollup merge of #67780 - cjgillot:passes-ty, r=Zoxc
2020-01-16 borsAuto merge of #67339 - CAD97:rc-provenance, r=sfackler
2020-01-15 Dylan DPCRollup merge of #68252 - matthiaskrgr:redundant_clones...
2020-01-15 Dylan DPCRollup merge of #68237 - estebank:bad-bad-ice, r=petroc...
2020-01-15 Dylan DPCRollup merge of #68236 - JohnTitor:ice-tests, r=Centril
2020-01-15 Dylan DPCRollup merge of #68232 - Mark-Simulacrum:unicode-tables...
2020-01-15 Dylan DPCRollup merge of #68212 - csmoe:temp, r=estebank
2020-01-15 Dylan DPCRollup merge of #68123 - crlf0710:linked_list_cursor...
2020-01-15 borsAuto merge of #67603 - oli-obk:no_mut_static_ref_from_c...
2020-01-15 borsAuto merge of #68248 - JohnTitor:rollup-x0kml5f, r...
2020-01-15 Yuki OkushiRollup merge of #68233 - danielframpton:update-compiler...
2020-01-15 Yuki OkushiRollup merge of #68231 - danielframpton:windows-crossco...
2020-01-15 Yuki OkushiRollup merge of #68230 - danielframpton:update-libssh2...
2020-01-15 Yuki OkushiRollup merge of #68229 - danielframpton:update-iovec...
2020-01-15 Yuki OkushiRollup merge of #68227 - danielframpton:update-cmake...
2020-01-15 Yuki OkushiRollup merge of #68226 - Aaron1011:fix/opaque-trace...
2020-01-15 Yuki OkushiRollup merge of #68222 - alexcrichton:update-wasi-libc...
2020-01-15 Yuki OkushiRollup merge of #68219 - oli-obk:fix_miri, r=RalfJung...
2020-01-15 Yuki OkushiRollup merge of #68211 - GuillaumeGomez:add-failing...
2020-01-15 Yuki OkushiRollup merge of #68141 - euclio:replace-bindings-with...
2020-01-15 Yuki OkushiRollup merge of #67914 - Aaron1011:fix/const-prop-impos...
2020-01-15 Yuki OkushiRollup merge of #67784 - Mark-Simulacrum:residual-pad...
2020-01-14 borsAuto merge of #67711 - Amanieu:fix_unwind_leak, r=alexc...
2020-01-14 borsAuto merge of #67076 - mbrubeck:condvar, r=dtolnay
2020-01-14 Yuki OkushiRollup merge of #68176 - GuillaumeGomez:clean-up-err...
2020-01-14 Yuki OkushiRollup merge of #68150 - tillarnold:master, r=cramertj
2020-01-14 Yuki OkushiRollup merge of #68127 - varkor:clarify-extended-option...
2020-01-14 Yuki OkushiRollup merge of #68036 - euclio:libterm-ncurses6-fix...
2020-01-14 Yuki OkushiRollup merge of #67989 - ollie27:rustdoc_unstable,...
2020-01-13 borsAuto merge of #68088 - oli-obk:fix_miri, r=RalfJung
2020-01-13 borsAuto merge of #67850 - GuillaumeGomez:err-codes-checkup...
2020-01-13 Aaron HillUse TraitQueryMode::Canonical when testing predicates...
2020-01-13 Yuki OkushiRollup merge of #68157 - GuillaumeGomez:clean-up-e0186...
2020-01-13 Yuki OkushiRollup merge of #68097 - MikailBag:master, r=shepmaster
2020-01-13 Yuki OkushiRollup merge of #67959 - liigo:patch-13, r=GuillaumeGomez
2020-01-13 Yuki OkushiRollup merge of #67313 - oli-obk:document_all_the_t̶h̶i...
2020-01-13 borsAuto merge of #67900 - nikic:prepare-llvm-10, r=nagisa
2020-01-12 borsAuto merge of #67831 - mati865:ci-images-upgrade, r...
2020-01-12 Mazdak FarrokhzadRollup merge of #68108 - varkor:chained-comparison...
2020-01-12 Mazdak FarrokhzadRollup merge of #68089 - lzutao:revert-remote_item...
2020-01-12 Mazdak FarrokhzadRollup merge of #68045 - Centril:liberate-lints, r...
2020-01-12 Mazdak FarrokhzadRollup merge of #67948 - llogiq:gallop, r=Mark-Simulacrum
2020-01-12 Mazdak FarrokhzadRollup merge of #67867 - matthewjasper:opaque-assoc...
2020-01-12 Mazdak FarrokhzadRollup merge of #67494 - lukaslueg:const_alloc, r=oli-obk
2020-01-11 borsAuto merge of #67458 - pnkfelix:fix-66530-by-propagatin...
2020-01-11 borsAuto merge of #67000 - spastorino:remove-promoted-from...
2020-01-11 Mazdak FarrokhzadRollup merge of #68070 - GuillaumeGomez:clean-up-e0185...
2020-01-10 Yuki OkushiRollup merge of #68075 - ollie27:rustbuild_books, r...
2020-01-10 Yuki OkushiRollup merge of #68014 - estebank:unify-e0599, r=cramertj
2020-01-10 Yuki OkushiRollup merge of #66045 - mzabaluev:unwrap-infallible...
2020-01-10 Santiago PastorinoPromote `Ref`s to constants instead of static
2020-01-10 Mazdak FarrokhzadRollup merge of #67501 - oli-obk:test-slice-patterns...
2020-01-09 Yuki OkushiRollup merge of #67975 - EmbarkStudios:export-statics...
2020-01-09 Yuki OkushiRollup merge of #67935 - Thomasdezeeuw:issue_67669...
2020-01-08 Mazdak FarrokhzadRollup merge of #68005 - GuillaumeGomez:explanation...
2020-01-08 Mazdak FarrokhzadRollup merge of #67990 - Centril:slice-pats-move-tests...
2020-01-08 Mazdak FarrokhzadRollup merge of #67966 - popzxc:core-std-matches, r...
2020-01-08 Mazdak FarrokhzadRollup merge of #67884 - anp:allow-unused-const-attr...
2020-01-08 Mazdak FarrokhzadRollup merge of #67630 - oli-obk:extern_ptr_dangling...
2020-01-08 Yuki OkushiRollup merge of #67985 - dtolnay:cstr, r=Mark-Simulacrum
2020-01-08 Yuki OkushiRollup merge of #67977 - Wind-River:master_2020, r...
2020-01-08 Yuki OkushiRollup merge of #67955 - ollie27:rustdoc_cfg_dupes...
2020-01-08 Yuki OkushiRollup merge of #67887 - anp:tracked-std-panics, r...
2020-01-08 Yuki OkushiRollup merge of #67875 - dtolnay:hidden, r=GuillaumeGomez
2020-01-08 Yuki OkushiRollup merge of #67849 - cjkenn:check-sorted-words...
2020-01-08 Yuki OkushiRollup merge of #67798 - matklad:spin-thouse-docs,...
2020-01-08 Yuki OkushiRollup merge of #67774 - oxalica:more-statx, r=alexcrichton
2020-01-08 borsAuto merge of #67760 - Mark-Simulacrum:rustc-dirty...
2020-01-08 borsAuto merge of #67733 - pietroalbini:gha-2, r=alexcrichton
2020-01-07 borsAuto merge of #67970 - cjgillot:inherent, r=Centril
2020-01-07 Camille GILLOTMove ty::wf to traits.
2020-01-04 Mazdak FarrokhzadRollup merge of #67531 - RalfJung:tame-promotion, r...
2019-12-31 Dylan DPCRollup merge of #67430 - tspiteri:minus-inf, r=Dylan-DPC
2019-12-29 Dylan DPCRollup merge of #67482 - ldm0:master, r=petrochenkov
2019-12-25 borsAuto merge of #67524 - LukasKalbertodt:improve-into...
2019-12-25 borsAuto merge of #67303 - dtolnay:rls, r=Xanewok
2019-12-24 borsAuto merge of #67445 - llogiq:todo, r=dtolnay
2019-12-24 Mazdak FarrokhzadRollup merge of #67561 - euclio:remove-description...
2019-12-24 Mazdak FarrokhzadRollup merge of #67547 - GuillaumeGomez:cleanup-err...
2019-12-24 Mazdak FarrokhzadRollup merge of #67543 - JohnTitor:regression-tests...
2019-12-23 Mazdak FarrokhzadRollup merge of #67546 - oli-obk:slice_pattern_ice...
2019-12-23 Mazdak FarrokhzadRollup merge of #67527 - GuillaumeGomez:results-show...
2019-12-23 Mazdak FarrokhzadRollup merge of #67507 - Mark-Simulacrum:purge-uninit...
2019-12-23 Mazdak FarrokhzadRollup merge of #67466 - oli-obk:const_intrinsic, r...
2019-12-23 Mazdak FarrokhzadRollup merge of #67233 - Luro02:cursor_traits, r=sfackler
2019-12-23 borsAuto merge of #67540 - Mark-Simulacrum:fmt-the-world...
2019-12-22 Mark RousskovFormat the world
2019-12-22 borsAuto merge of #67532 - Centril:rollup-3duj42d, r=Centril
2019-12-22 Mazdak FarrokhzadRollup merge of #67525 - Mark-Simulacrum:fix-toolstate...
2019-12-22 Mazdak FarrokhzadRollup merge of #67519 - Mark-Simulacrum:any-unsafe...
2019-12-22 Mazdak FarrokhzadRollup merge of #67508 - davesque:master, r=Dylan-DPC
2019-12-22 Mazdak FarrokhzadRollup merge of #67506 - qnighy:remove-iter-private...
2019-12-22 Mazdak FarrokhzadRollup merge of #67499 - Centril:mir-match-clean, r...
next