summary refs log tree commit diff
path: root/src/librustc/infer
AgeCommit message (Expand)AuthorLines
2018-08-25An attempt to fix NLL migration mode so that reports region errors when neces...Felix S. Klock II-1/+8
2018-07-30Auto merge of #52805 - ljedrz:format_str_literal, r=petrochenkovbors-22/+17
2018-07-29Auto merge of #52738 - ljedrz:push_to_extend, r=eddybbors-6/+5
2018-07-29Replace push loops with collect() and extend() where possibleljedrz-6/+5
2018-07-29Auto merge of #52767 - ljedrz:avoid_format, r=petrochenkovbors-14/+14
2018-07-29Auto merge of #52764 - sinkuu:cleanup, r=nikomatsakisbors-1/+1
2018-07-28Don't format!() string literalsljedrz-22/+17
2018-07-28Rollup merge of #52703 - ljedrz:vec_improvements, r=nikomatsakiskennytm-5/+1
2018-07-27Remove unnecessary `.collect()`Shotaro Yamada-1/+1
2018-07-27Auto merge of #52648 - davidtwco:issue-52533, r=nikomatsakisbors-1/+1
2018-07-27Added fully elaborated type label for inferred arguments.David Wood-1/+1
2018-07-27Prefer to_string() to format!()ljedrz-14/+14
2018-07-27Auto merge of #52650 - oli-obk:associated_existential_types, r=nikomatsakisbors-18/+34
2018-07-26Improve a few vectors - calculate capacity or build from iteratorsljedrz-5/+1
2018-07-25Remove useless commentOliver Schneider-1/+1
2018-07-25introduce new subtypingNiko Matsakis-0/+26
2018-07-25simplify `NLLRegionVariableOrigin`Niko Matsakis-1/+14
2018-07-23Implement associated existential typesOliver Schneider-18/+34
2018-07-23Separate the construction of a generic bound failure from its emission.Felix S. Klock II-4/+20
2018-07-22Rollup merge of #52507 - estebank:infer-type, r=nikomatsakiskennytm-1/+8
2018-07-21skip no-op obligations and add a little debug outputNiko Matsakis-10/+14
2018-07-21Convert implied_outlives_bounds to a queryTyler Mandry-219/+2
2018-07-21Auto merge of #52438 - ljedrz:rustc_vec_capacity, r=eddybbors-24/+13
2018-07-20Refactor a few push loops to iterators in librustcljedrz-24/+13
2018-07-20Reword when `_` couldn't be inferredEsteban Küber-1/+8
2018-07-19Auto merge of #52024 - oli-obk:existential_parse, r=nikomatsakisbors-9/+76
2018-07-18Change label span to point at iterator instead of iter itemEsteban Küber-6/+10
2018-07-18Do not use desugared ident when suggesting adding a typeEsteban Küber-1/+6
2018-07-18Check lifetimes on existential typesOliver Schneider-0/+1
2018-07-18Simplify defining scope logicOliver Schneider-12/+9
2018-07-18More documentationOliver Schneider-0/+17
2018-07-18Implement existential typesOliver Schneider-1/+53
2018-07-18Auto merge of #52342 - nnethercote:CanonicalVar, r=nikomatsakisbors-51/+89
2018-07-17Avoid most allocations in `Canonicalizer`.Nicholas Nethercote-51/+89
2018-07-16ItemKindcsmoe-8/+8
2018-07-16TyKindcsmoe-6/+6
2018-07-16ExprKindcsmoe-8/+8
2018-07-14Remove most of `PartialEq` impls from AST and HIR structuresVadim Petrochenkov-1/+1
2018-07-14Auto merge of #52244 - glandium:issue52097, r=estebankbors-7/+63
2018-07-14Rollup merge of #52315 - ljedrz:FIXME_#27942, r=petrochenkovkennytm-21/+1
2018-07-13Auto merge of #51987 - nikomatsakis:nll-region-infer-scc, r=pnkfelixbors-5/+5
2018-07-12Resolve FIXME(#27942)ljedrz-21/+1
2018-07-12Don't display default generic parameters in diagnostics that compare types.Mike Hommey-7/+63
2018-07-12rename `control_flow_graph` to `graph`Niko Matsakis-1/+1
2018-07-12rename `graph` to `control_flow_graph::implementation`Niko Matsakis-5/+5
2018-07-09rustc: Avoid /tmp/ in graphviz writingAlex Crichton-3/+3
2018-07-05Auto merge of #51938 - zackmdavis:and_the_case_of_the_leaking_desugar, r=este...bors-2/+17
2018-06-29in which we plug the crack where `?`-desugaring leaked into errorsZack M. Davis-2/+17
2018-06-28review comments: unify duplicated codeEsteban Küber-12/+8
2018-06-28Also point to free named region on lifetime errorsEsteban Küber-0/+13