summary refs log tree commit diff
path: root/src/librustc/infer
AgeCommit message (Expand)AuthorLines
2017-02-23remove vestiges of the old suggestion machineryNiko Matsakis-256/+26
2017-01-30Merge ty::TyBox into ty::TyAdtVadim Petrochenkov-1/+0
2017-01-26rustc: Remove all "consider using an explicit lifetime parameter" suggestionsBrian Anderson-714/+4
2017-01-26Auto merge of #39066 - arielb1:lifetime-extension-test, r=nikomatsakisbors-5/+0
2017-01-26Auto merge of #39309 - eddyb:map-shmap, r=nikomatsakisbors-42/+42
2017-01-26rustc: don't call the HIR AST.Eduard-Mihai Burtescu-22/+22
2017-01-26rustc: rename TyCtxt's `map` field to `hir`.Eduard-Mihai Burtescu-21/+21
2017-01-26Update error code numberGuillaume Gomez-1/+1
2017-01-26Add a distinct error code and description for "main function has wrong type"Guillaume Gomez-2/+5
2017-01-25rename `Tables` to `TypeckTables`Niko Matsakis-24/+24
2017-01-25end temporary lifetimes being extended by `let X: &_` hintsAriel Ben-Yehuda-5/+0
2017-01-06rustc: keep track of tables everywhere as if they were per-body.Eduard-Mihai Burtescu-53/+139
2017-01-04Update for changes to TraitItem on master.Eduard-Mihai Burtescu-3/+3
2017-01-04Don't leak the compiler's internal representation of scopes in error messages.Eduard-Mihai Burtescu-15/+41
2016-12-31Split CtxtArenas into GlobalArenas and CtxtInterners.Mark Simulacrum-4/+5
2016-12-28rustc: always print nested nodes where a HIR map is available.Eduard-Mihai Burtescu-8/+17
2016-12-28rustc: move function arguments into hir::Body.Eduard-Mihai Burtescu-26/+25
2016-12-28rustc: separate TraitItem from their parent Item, just like ImplItem.Eduard-Mihai Burtescu-1/+1
2016-12-23Auto merge of #38232 - jseyfried:refactor_global_paths, r=nrcbors-1/+0
2016-12-22Refactor how global paths are represented (for both ast and hir).Jeffrey Seyfried-1/+0
2016-12-20Allow multiple suggestionsGuillaume Gomez-1/+2
2016-12-20Create check_ref method to allow to check coercion with & typesGuillaume Gomez-1/+1
2016-12-20Return DiagnosticBuilder to add help suggestionsGuillaume Gomez-156/+2
2016-12-20Move suggestion list creation to coerce checkGuillaume Gomez-22/+82
2016-12-20Add safe_suggestion attributeGuillaume Gomez-5/+24
2016-12-20Start of implementation of proposal for E0308Guillaume Gomez-2/+77
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