about summary refs log tree commit diff
path: root/src
AgeCommit message (Expand)AuthorLines
2018-03-15Fix tidyAlexandre Martin-1/+1
2018-03-15add xref to rust-guideNiko Matsakis-0/+4
2018-03-14Add documentationscalexm-0/+24
2018-03-14Move code into librustc_traitsscalexm-15/+13
2018-03-14Address niko's nitsscalexm-195/+173
2018-03-14Add MVP for chalkificationscalexm-0/+519
2018-03-13add "text" sections for things that seem likely to be a problemNiko Matsakis-2/+6
2018-03-13remove dead codeNiko Matsakis-11/+0
2018-03-13replace inline docs with references to rustc-guideNiko Matsakis-57/+18
2018-03-13add a debug assertion that only outlives-oblig. result from norm.Niko Matsakis-7/+32
2018-03-13`trans_apply_param_substs` => `subst_and_normalize_erasing_regions`Niko Matsakis-70/+91
2018-03-13short-circuit work when instantiating query responsesNiko Matsakis-24/+84
2018-03-13short-circuit `dropck_outlives` for simple casesNiko Matsakis-2/+72
2018-03-13add regression tests for various MIR bugs that get fixedNiko Matsakis-0/+199
2018-03-13add some debug outputNiko Matsakis-1/+15
2018-03-13move `drain_fulfillment_cx_or_panic` to be private to traits::transNiko Matsakis-40/+44
2018-03-13transition various normalization functions to the new methodsNiko Matsakis-283/+91
2018-03-13introduce `tcx.normalize_erasing_regions(..)` operaton [VIC]Niko Matsakis-3/+143
2018-03-13introduce `infcx.at(..).dropck_outlives(..)` operaton [VIC]Niko Matsakis-301/+560
2018-03-13introduce `infcx.at(..).normalize(..)` operation [VIC]Niko Matsakis-10/+637
2018-03-13in `Foo(X)` dep-nodes, allow X to be a `ty` not a `tt`Niko Matsakis-21/+24
2018-03-13add `canonicalize` method to `InferCtxt` [VIC]Niko Matsakis-16/+1121
2018-03-13change `ParamEnv::and` to sometimes keep the environment [VIC]Niko Matsakis-21/+28
2018-03-13move ParamEnv methods from `ty/util` to `ty/mod`Niko Matsakis-44/+44
2018-03-13refactor `ParamEnv::empty(Reveal)` into two distinct methodsNiko Matsakis-72/+77
2018-03-13add handy helper for Cell<usize>, used for perf statsNiko Matsakis-0/+10
2018-03-13random reformattingNiko Matsakis-17/+16
2018-03-13comment the purpose of `TransNormalize`Niko Matsakis-0/+4
2018-03-13make regions "traceable" so you can do `infcx.at(..).eq(r1, r2)`Niko Matsakis-22/+23
2018-03-13fix typo in commentNiko Matsakis-1/+1
2018-03-13add `TypeRelation` and `Lift` impls for `Kind`Niko Matsakis-11/+35
2018-03-13improve TypeFoldable/Lift macros and make a bunch of stuff use themNiko Matsakis-813/+551
2018-03-13require `Lifted` types to outlive `'tcx`Niko Matsakis-1/+1
2018-03-13Auto merge of #48958 - alexcrichton:update-rls-rustc, r=sfacklerbors-3/+3
2018-03-13Rollup merge of #48954 - GuillaumeGomez:missing-links-fmt, r=QuietMisdreavuskennytm-4/+8
2018-03-13Rollup merge of #48898 - GuillaumeGomez:remove-empty-section, r=QuietMisdreavuskennytm-8/+30
2018-03-13Rollup merge of #48631 - focusaurus:remember-collapse-setting, r=QuietMisdreavuskennytm-0/+6
2018-03-13Rollup merge of #48480 - jethrogb:patch-5, r=alexcrichtonkennytm-0/+4
2018-03-12Update the rls-rustc packageAlex Crichton-3/+3
2018-03-12Add missing linksGuillaume Gomez-4/+8
2018-03-13Rollup merge of #48934 - Phlosioneer:42453-debug-hygene, r=petrochenkovkennytm-1/+18
2018-03-13Rollup merge of #48928 - zackmdavis:span_suggestion_field_day, r=estebankkennytm-29/+46
2018-03-13Rollup merge of #48887 - alexcrichton:update-stdsimd, r=kennytmkennytm-0/+2
2018-03-13Rollup merge of #48880 - petrochenkov:badstderr, r=kennytmkennytm-140/+28
2018-03-13Rollup merge of #48877 - GuillaumeGomez:vec-missing-links, r=QuietMisdreavuskennytm-7/+14
2018-03-13Rollup merge of #48725 - humenda:master, r=nikomatsakiskennytm-56/+23
2018-03-13Rollup merge of #48201 - NovemberZulu:master, r=steveklabnikkennytm-15/+36
2018-03-12Auto merge of #48770 - bobtwinkles:two_phase_borrows_rewrite, r=pnkfelixbors-600/+572
2018-03-12Auto merge of #48295 - Keruspe:master, r=alexcrichtonbors-3/+10
2018-03-12Auto merge of #48938 - alexcrichton:no-leak-makeflags, r=kennytmbors-1/+8