summary refs log tree commit diff
path: root/src/librustc/infer
AgeCommit message (Expand)AuthorLines
2017-04-01store a copy of the Issue32230 info within TypeErrorAriel Ben-Yehuda-25/+35
2017-03-11Rollup merge of #40146 - bjorn3:few-infer-changes, r=pnkfelixAriel Ben-Yehuda-51/+63
2017-02-28Rollup merge of #40128 - cengizIO:master, r=nikomatsakisCorey Farwell-467/+445
2017-02-28Syntax highlight and note about current rust in infer docsbjorn3-1/+3
2017-02-28Improve a bit morebjorn3-1/+1
2017-02-28Syntax highlighting in region infer docsbjorn3-49/+59
2017-02-28Fix indentation in region infer docsbjorn3-8/+8
2017-02-28Dont bug! on user errorbjorn3-1/+1
2017-02-27Format note.rs with rustfmtCengiz Can-253/+220
2017-02-27Lower moved fn's visibility to supermoduleCengiz Can-2/+2
2017-02-27Move two large error_reporting fn's to a separate fileCengiz Can-467/+478
2017-02-25rustc_typeck: rework coherence to be almost completely on-demand.Eduard-Mihai Burtescu-1/+1
2017-02-25rustc: simplify tcx.closure_type(...) as it can copy the cached values.Eduard-Mihai Burtescu-8/+4
2017-02-25rustc: combine BareFnTy and ClosureTy into FnSig.Eduard-Mihai Burtescu-2/+2
2017-02-25rustc: store type parameter defaults outside of ty::Generics.Eduard-Mihai Burtescu-6/+9
2017-02-25Rollup merge of #39905 - estebank:useless-error, r=arielb1Eduard-Mihai Burtescu-26/+27
2017-02-17remove vestiges of the old suggestion machineryNiko Matsakis-256/+25
2017-02-17Properly display note/expected detailsEsteban Küber-26/+27
2017-02-05make lifetimes that only appear in return type early-boundNiko Matsakis-74/+40
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