]> git.lizzy.rs Git - rust.git/history - src
s/skol_predicate/placeholder_predicate
[rust.git] / src /
2018-10-04 Niko Matsakiss/skol_predicate/placeholder_predicate
2018-10-04 Niko Matsakisfix typo: s/tained/tainted/
2018-10-04 Niko Matsakisremove occurences of `skolemization`
2018-10-04 Niko Matsakisremove all occurences of `skolemize`
2018-10-04 Niko Matsakisbuild up the placeholder indices as we go
2018-10-04 Niko Matsakisextend NLL universe code to have >1 placeholder within...
2018-10-04 Niko Matsakiscreate just one subuniverse per binder -- no need for...
2018-10-04 Niko Matsakisreorder the placeholders and inference variables in...
2018-10-04 Niko Matsakisrename skolemized to placeholder
2018-10-04 Niko Matsakisselect.rs: rustfmt
2018-10-04 borsAuto merge of #54809 - pietroalbini:rollup, r=pietroalbini
2018-10-04 Pietro AlbiniRollup merge of #54795 - euclio:ifmt-bad-arg, r=estebank
2018-10-04 Pietro AlbiniRollup merge of #54789 - scalexm:unnormalized, r=nikoma...
2018-10-04 Pietro AlbiniRollup merge of #54788 - ljedrz:cleanup_rustc_mir,...
2018-10-04 Pietro AlbiniRollup merge of #54780 - scalexm:dup-predicates, r...
2018-10-04 Pietro AlbiniRollup merge of #54777 - zackmdavis:async_pretty_ice...
2018-10-04 Pietro AlbiniRollup merge of #54773 - rust-lang:wesleywiser-patch...
2018-10-04 Pietro AlbiniRollup merge of #54769 - jacobherrington:patch-1, r...
2018-10-04 Pietro AlbiniRollup merge of #54761 - Lucretiel:patch-1, r=cramertj
2018-10-04 Pietro AlbiniRollup merge of #54746 - llogiq:simplify-unused-lints...
2018-10-04 Pietro AlbiniRollup merge of #53523 - phungleson:fix-impl-from-for...
2018-10-04 borsAuto merge of #54638 - christianpoveda:master, r=kennytm
2018-10-04 borsAuto merge of #53851 - oli-obk:local_promotion, r=eddyb
2018-10-04 borsAuto merge of #54624 - arielb1:evaluate-outlives, r...
2018-10-04 borsAuto merge of #54447 - KiChjang:issue-54331, r=nikomatsakis
2018-10-03 borsAuto merge of #54391 - davidtwco:issue-54230, r=petroch...
2018-10-03 Andy Russellremove padding from multiline format string label
2018-10-03 borsAuto merge of #54605 - petrochenkov:mambig, r=alexcrichton
2018-10-03 scalexmFix `ty::UnnormalizedProjection` in rustdoc
2018-10-03 scalexmIntroduce `TyKind::UnnormalizedProjection`
2018-10-03 David WoodDeterministic external crate suggestion.
2018-10-03 ljedrzA handful of cleanups for rustc/mir
2018-10-03 David WoodUpdate tests to demonstrate 2015 behaviour.
2018-10-03 David WoodRemoved hardcoded crate.
2018-10-03 David WoodAdd suggestions for unresolved imports.
2018-10-03 Vadim Petrochenkovresolve: Prefer `macro_rules` definitions to in-module...
2018-10-03 scalexmRemove duplicate predicates in `explicit_predicates_of`
2018-10-03 borsAuto merge of #54720 - davidtwco:issue-51191, r=nikomat...
2018-10-03 Oliver SchneiderMove platform dependent output ui tests to compile...
2018-10-03 Oliver SchneiderPoke in the dark and see if bors+windows stops screaming
2018-10-03 Oliver SchneiderFix typo
2018-10-03 Oliver SchneiderUpdate error id to an unused one
2018-10-03 Oliver SchneiderOnly promote calls to `#[rustc_promotable]` const fns
2018-10-03 Andre Bogussimplify some unused lints code
2018-10-03 Zack M. Davisabolish ICE when pretty-printing async block
2018-10-03 Wesley WiserUpdate a FIXME in memory.rs
2018-10-02 borsAuto merge of #54767 - pietroalbini:rollup, r=pietroalbini
2018-10-02 SonRemove main() in examples
2018-10-02 Pietro AlbiniRollup merge of #54745 - abonander:cstr-const, r=oli-obk
2018-10-02 Pietro AlbiniRollup merge of #54728 - alexcrichton:renumber-issues...
2018-10-02 Pietro AlbiniRollup merge of #54702 - RalfJung:fn-ptr-promotion...
2018-10-02 Pietro AlbiniRollup merge of #54699 - DiamondLovesYou:reexport-getop...
2018-10-02 Pietro AlbiniRollup merge of #54687 - scottmcm:more-elision, r=dtolnay
2018-10-02 Pietro AlbiniRollup merge of #54680 - RalfJung:compile-pass, r=pnkfelix
2018-10-02 Pietro AlbiniRollup merge of #54648 - alexcrichton:update-cargo...
2018-10-02 Pietro AlbiniRollup merge of #54603 - davidtwco:issue-54559, r=nikom...
2018-10-02 Pietro AlbiniRollup merge of #54458 - scottmcm:bug-54456, r=nikomatsakis
2018-10-02 Pietro AlbiniRollup merge of #54269 - PramodBisht:issue/53840, r...
2018-10-02 borsAuto merge of #54343 - blitzerr:master, r=nikomatsakis
2018-10-02 Nathan WestMake spec_extend use for_each()
2018-10-02 Austin Bonandermake `CStr::from_bytes_with_nul_unchecked()` a const fn
2018-10-02 Austin Bonandermake `CStr::from_bytes_with_nul_unchecked()` a const fn
2018-10-02 Ralf Jungmove some more tests
2018-10-02 borsAuto merge of #54742 - Manishearth:clippyup, r=oli-obk
2018-10-02 Manish GoregaokarUpdate clippy
2018-10-02 Pramod BishtConsolidate pattern check errors
2018-10-02 borsAuto merge of #54701 - arielb1:outlives-later, r=nikoma...
2018-10-02 borsAuto merge of #54694 - csmoe:self_this, r=estebank
2018-10-01 David WoodAttempt to resolve linking issues.
2018-10-01 David WoodMove prelude crate names into `Session`.
2018-10-01 David WoodAdd `crate::` to trait suggestions in Rust 2018.
2018-10-01 David WoodImprove mutability error suggestions.
2018-10-01 David WoodImprove implicit self mutability suggestions.
2018-10-01 borsAuto merge of #54693 - RalfJung:ctfe-scalar-pair-undef...
2018-10-01 Ariel Ben-Yehudaadd a special case for literal `'static: 'a` where...
2018-10-01 Ariel Ben-Yehudaenable using the evaluation cache on predicates with...
2018-10-01 Ariel Ben-Yehudahandle outlives predicates in trait evaluation
2018-10-01 Ariel Ben-Yehudanormalize param-env type-outlives predicates last
2018-10-01 Alex CrichtonExtra proc macro gates are now at #54727
2018-10-01 Alex CrichtonAll `proc_macro_span` APIs tracked at #54725 now
2018-10-01 Alex CrichtonSpan::def_site() is now at #54724
2018-10-01 Alex CrichtonThe `proc_macro_raw_ident` feature is now at #54723
2018-10-01 Alex CrichtonThe `proc_macro_quote` feature now lives at #54722
2018-10-01 Christian PovedaFix conditions to allow missing tools in CI
2018-10-01 borsAuto merge of #54667 - RalfJung:maybe-uninit, r=pnkfelix
2018-10-01 borsAuto merge of #54711 - kennytm:rollup, r=kennytm
2018-10-01 kennytmRollup merge of #54676 - pnkfelix:issue-15287-kill...
2018-10-01 kennytmRollup merge of #54713 - flip1995:tool_lints_nightly...
2018-10-01 kennytmRollup merge of #54674 - RalfJung:miri, r=oli-obk
2018-10-01 flip1995Add nightly check for tool_lints warning
2018-10-01 kennytmRollup merge of #54708 - collin5:b49475, r=Mark-Simulacrum
2018-10-01 kennytmRollup merge of #54681 - alexcrichton:san-names, r...
2018-10-01 kennytmRollup merge of #54679 - phansch:improve_bug_message...
2018-10-01 kennytmRollup merge of #54656 - nieksand:workqueue_doc, r...
2018-10-01 kennytmRollup merge of #54641 - ljedrz:cleanup_rustc_infer...
2018-10-01 kennytmRollup merge of #54623 - alexreg:impl_trait_in_bindings...
2018-10-01 kennytmRollup merge of #54544 - frewsxcv:frewsxcv-deref, r...
2018-10-01 kennytmRollup merge of #54488 - zackmdavis:and_the_case_of_the...
2018-10-01 kennytmRollup merge of #54308 - dsciarra:issue-22692, r=estebank
2018-10-01 kennytmRollup merge of #53784 - tbu-:pr_doc_slice_isize_max...
next