summary refs log tree commit diff
path: root/src/librustc/infer
AgeCommit message (Expand)AuthorLines
2017-01-06Revert "Update for changes to TraitItem on master."Niko Matsakis-3/+3
2017-01-06Update for changes to TraitItem on master.Eduard-Mihai Burtescu-3/+3
2017-01-06Don't leak the compiler's internal representation of scopes in error messages.Eduard-Mihai Burtescu-15/+41
2016-12-03Add TypeVariableOrigin enumKeith Yeung-11/+52
2016-11-28Adds TyCtxt::require_lang_item(LangItem) to simplify lang item requires.Mark-Simulacrum-2/+1
2016-11-28Refactor TyTrait to contain a interned ExistentialPredicate slice.Mark-Simulacrum-1/+1
2016-11-28Remove BuiltinBound and BuiltinBounds.Mark-Simulacrum-1/+5
2016-11-28rustc: embed path resolutions into the HIR instead of keeping DefMap.Eduard-Mihai Burtescu-1/+2
2016-11-28rustc: desugar UFCS as much as possible during HIR lowering.Eduard Burtescu-7/+4
2016-11-28rustc: encode the optionality of type parameters in HIR paths.Eduard Burtescu-0/+1
2016-11-20Move `syntax::util::interner` -> `syntax::symbol`, cleanup.Jeffrey Seyfried-3/+3
2016-11-15register `infer-ok` obligations properlyNiko Matsakis-1/+2
2016-11-15remove TypeOrigin and use ObligationCause insteadNiko Matsakis-173/+100
2016-11-12address review commentsAriel Ben-Yehuda-4/+0
2016-11-12rustc: move closure upvar types to the closure substsAriel Ben-Yehuda-1/+1
2016-11-12Rollup merge of #37688 - eddyb:lazy-8, r=petrochenkovEduard-Mihai Burtescu-1/+1
2016-11-12Rollup merge of #37659 - nikomatsakis:sfackler-36340-fix, r=eddybEduard-Mihai Burtescu-43/+142
2016-11-12Rollup merge of #37551 - Mark-Simulacrum:upgrade-accvec, r=eddybEduard-Mihai Burtescu-1/+1
2016-11-12Rollup merge of #37481 - estebank:lifetime-help-removal-for-impl, r=eddybEduard-Mihai Burtescu-14/+21
2016-11-11Change implementation of syntax::util::SmallVector to use data_structures::Sm...Mark-Simulacrum-1/+1
2016-11-10Don't hint to add lifetime on trait implEsteban Küber-14/+21
2016-11-10ExprAssignable does not need the original Expr so let's just remove outdated ...Luqman Aden-1/+0
2016-11-10rustc: clean up lookup_item_type and remove TypeScheme.Eduard Burtescu-1/+1
2016-11-08introduce a `fudge_regions_if_ok` to address false region edgesNiko Matsakis-43/+142
2016-11-08Replace FnvHasher use with FxHasher.Nicholas Nethercote-43/+42
2016-11-06rustc: harden against InferOk having obligations in more cases.Eduard Burtescu-3/+10
2016-11-04Rollup merge of #37408 - eddyb:lazy-5, r=nikomatsakisAlex Crichton-23/+3
2016-11-04Auto merge of #37167 - nikomatsakis:jroesch-issue-18937, r=pnkfelixbors-25/+117
2016-11-02rustc: record the target type of every adjustment.Eduard Burtescu-23/+3
2016-11-01pacify the mercilous tidyNiko Matsakis-12/+18
2016-11-01apply review feedback nitsNiko Matsakis-4/+6
2016-11-01compare-method lintNiko Matsakis-5/+14
2016-11-01cleanup error reporting and add `ui` testsNiko Matsakis-27/+102
2016-11-01Rollup merge of #37059 - jfirebaugh:unused-RangeExpression, r=alexcrichtonGuillaume Gomez-6/+0
2016-10-31Changed most vec! invocations to use square bracesiirelu-2/+2
2016-10-24Use `SmallVector` in `CombineFields::instantiate`.Nicholas Nethercote-3/+7
2016-10-21only remove keys that mention skolemized regionsNiko Matsakis-1/+4
2016-10-21when pop skol, also remove from proj cacheNiko Matsakis-0/+1
2016-10-19Rollup merge of #37241 - zackmdavis:if_let_over_none_spaced_empty_block_arm, ...Guillaume Gomez-3/+2
2016-10-19Rollup merge of #37117 - pnkfelix:may-dangle-attr, r=nikomatsakisEduard-Mihai Burtescu-5/+9
2016-10-17prefer `if let` to match with `None => { }` arm in some placesZack M. Davis-3/+2
2016-10-17Auto merge of #36915 - jfirebaugh:E0308-split, r=nikomatsakisbors-5/+10
2016-10-17Review feedback: add linebreak and reindent to make braces match better.Felix S. Klock II-3/+4
2016-10-16Auto merge of #37129 - arielb1:erased-normal, r=eddybbors-1/+14
2016-10-15Remove FIXMEJohn Firebaugh-1/+0
2016-10-13normalize types every time HR regions are erasedAriel Ben-Yehuda-1/+14
2016-10-11Using a type alias of Slice<Kind<'tcx>> to intern Substs<'tcx>.Adam Perry-2/+2
2016-10-11Thread `pure_wrt_drop` field through lifetime and type parameters.Felix S. Klock II-4/+7
2016-10-09Remove TypeOrigin::RangeExpressionJohn Firebaugh-6/+0
2016-10-04Rollup merge of #36917 - nnethercote:speed-up-plug_leaks, r=eddybManish Goregaokar-5/+6