]> git.lizzy.rs Git - rust.git/history - src/librustc/ty/mod.rs
remove the sub/super terminology for universes
[rust.git] / src / librustc / ty / mod.rs
2018-10-15 Niko Matsakisremove the sub/super terminology for universes
2018-10-15 Niko Matsakisconvert `UniverseIndex` into a `newtype_index!`
2018-10-15 Niko Matsakismake `UniverseIndex` hashable, rename "sub-" to "superu...
2018-10-12 kennytmRollup merge of #54989 - Munksgaard:fix-htmldocck-typos...
2018-10-12 kennytmRollup merge of #54860 - mandeep:vec-initialize, r...
2018-10-12 kennytmRollup merge of #54825 - davidtwco:issue-52663-deref...
2018-10-12 kennytmRollup merge of #54811 - pnkfelix:issue-24840-separate...
2018-10-12 kennytmRollup merge of #54755 - lucasloisp:document-reference...
2018-10-12 borsAuto merge of #54715 - oli-obk:nll_deref_promotion...
2018-10-12 borsAuto merge of #53933 - GuillaumeGomez:codeblock-error...
2018-10-12 borsAuto merge of #54534 - nagisa:align-offset-simplificati...
2018-10-11 borsAuto merge of #54850 - mcr431:fix-54707-trait-function...
2018-10-10 Manish GoregaokarRollup merge of #54862 - Havvy:cfg_attr_multi, r=petroc...
2018-10-10 borsAuto merge of #54747 - levex:inline-asm-bad-operands...
2018-10-10 borsAuto merge of #54732 - cramertj:waker, r=aturon
2018-10-10 borsAuto merge of #54831 - davidtwco:issue-52663-struct...
2018-10-10 borsAuto merge of #54764 - tromey:test-rust-lldb, r=alexcri...
2018-10-09 borsAuto merge of #54734 - pawroman:fix_range_borrowing_sug...
2018-10-09 borsAuto merge of #54613 - matthiaskrgr:string_from_inline_...
2018-10-08 borsAuto merge of #54847 - ljedrz:kill_graphviz_intocow...
2018-10-08 borsAuto merge of #54700 - frewsxcv:frewsxcv-binary-search...
2018-10-08 borsAuto merge of #54609 - kzys:404-search, r=GuillaumeGomez
2018-10-07 borsAuto merge of #53517 - phungleson:fix-impl-from-for...
2018-10-07 borsAuto merge of #54810 - 1aim:unused-impl-trait, r=oli-obk
2018-10-07 borsAuto merge of #54835 - oli-obk:mögen_konstante_funktion...
2018-10-07 borsAuto merge of #54813 - petrochenkov:uilocale, r=alexcri...
2018-10-07 borsAuto merge of #54823 - euclio:needs-test, r=alexcrichton
2018-10-07 borsAuto merge of #54451 - alexcrichton:no-mangle-extern...
2018-10-07 borsAuto merge of #54782 - pnkfelix:issue-54556-semi-on...
2018-10-06 borsAuto merge of #54766 - alexcrichton:wasm-all-symbols...
2018-10-06 borsAuto merge of #54859 - pietroalbini:rollup, r=pietroalbini
2018-10-05 Pietro AlbiniRollup merge of #54838 - 11Takanori:fix-typo, r=petroch...
2018-10-05 Pietro AlbiniRollup merge of #54834 - kzys:fix-small-screen, r=Guill...
2018-10-05 Pietro AlbiniRollup merge of #54833 - abonander:issue-54441, r=petro...
2018-10-05 Pietro AlbiniRollup merge of #54812 - pnkfelix:issue-32382-index...
2018-10-05 Pietro AlbiniRollup merge of #54804 - euclio:inverted-parameters...
2018-10-05 Pietro AlbiniRollup merge of #54787 - varkor:unused-mut-in-desugarin...
2018-10-05 Pietro AlbiniRollup merge of #54781 - phansch:master, r=varkor
2018-10-05 Pietro AlbiniRollup merge of #54717 - ljedrz:cleanup_ty_p1, r=davidtwco
2018-10-05 Pietro AlbiniRollup merge of #54078 - GabrielMajeri:expand-sync...
2018-10-05 borsAuto merge of #54743 - ljedrz:cleanup_ty_p2, r=zackmdavis
2018-10-05 borsAuto merge of #54741 - oli-obk:impl_trait_hierarchy...
2018-10-05 borsAuto merge of #54336 - petrochenkov:preuni, r=alexcrichton
2018-10-05 borsAuto merge of #52121 - jebrosen:macros2_feature, r...
2018-10-05 borsAuto merge of #54703 - davidtwco:issue-52086, r=nikomat...
2018-10-05 borsAuto merge of #54017 - alexcrichton:wasm-atomics2,...
2018-10-04 borsAuto merge of #54649 - nikomatsakis:universes-refactor...
2018-10-04 borsAuto merge of #54666 - matthewjasper:mir-function-spans...
2018-10-04 Niko Matsakisremove occurences of `skolemization`
2018-10-04 Niko Matsakisextend NLL universe code to have >1 placeholder within...
2018-10-04 Niko Matsakisrename skolemized to placeholder
2018-10-04 borsAuto merge of #54784 - Manishearth:clippyup, r=oli-obk
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 #54447 - KiChjang:issue-54331, r=nikomatsakis
2018-10-03 scalexmIntroduce `TyKind::UnnormalizedProjection`
2018-10-03 Oliver SchneiderOnly promote calls to `#[rustc_promotable]` const fns
2018-10-03 ljedrzrustc/ty: mark a comment as FIXME
2018-10-03 ljedrzrustc/ty: simplify some patterns
2018-10-03 ljedrzrustc/ty: whitespace fixes
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 #54458 - scottmcm:bug-54456, r=nikomatsakis
2018-10-02 borsAuto merge of #54343 - blitzerr:master, r=nikomatsakis
2018-10-02 borsAuto merge of #54694 - csmoe:self_this, r=estebank
2018-10-01 borsAuto merge of #54693 - RalfJung:ctfe-scalar-pair-undef...
2018-10-01 David WoodIntroduce language items for `Arc` and `Rc`.
2018-10-01 kennytmRollup merge of #54676 - pnkfelix:issue-15287-kill...
2018-10-01 kennytmRollup merge of #54674 - RalfJung:miri, r=oli-obk
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 #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...
2018-10-01 borsAuto merge of #54675 - alexcrichton:defaultlibs, r...
2018-10-01 borsAuto merge of #54662 - matklad:once-perf, r=alexcrichton
2018-09-30 borsAuto merge of #54650 - eddyb:no-extern's-land, r=alexcr...
2018-09-30 borsAuto merge of #53255 - orium:fix-bug-overflow-send...
2018-09-30 borsAuto merge of #54622 - matthewjasper:more-nll-mode...
2018-09-30 borsAuto merge of #54596 - mjbshaw:drop, r=RalfJung
2018-09-30 borsAuto merge of #53816 - zackmdavis:elided_lifetimes_in_p...
2018-09-30 borsAuto merge of #54639 - nagisa:lets-alias-for-now, r...
2018-09-30 Zack M. Davisdon't elide lifetimes in paths in librustc/
2018-09-30 Michael BradshawMerge branch 'master' into drop
next