summary refs log tree commit diff
path: root/src/librustc/infer
AgeCommit message (Expand)AuthorLines
2017-05-23do not fetch variance for items when equatingNiko Matsakis-3/+28
2017-05-23use equality in the coerce-unsized checkNiko Matsakis-0/+19
2017-05-23add a WF obligation if a type variable appears in bivariant positionNiko Matsakis-18/+69
2017-05-23replace the type generalizer with one based on varianceNiko Matsakis-35/+86
2017-04-22avoid calling `mk_region` unnecessarilyAriel Ben-Yehuda-5/+5
2017-04-19propagate other obligations that were left outNiko Matsakis-3/+7
2017-04-15rustc: ban registering obligations during InferCtxt snapshots.Eduard-Mihai Burtescu-28/+28
2017-04-13Auto merge of #40570 - nikomatsakis:inference-subtype-through-obligation, r=a...bors-387/+360
2017-04-12simplify code to remove now unused "stack" and fix commentsNiko Matsakis-92/+54
2017-04-12do not consult union-find during `fudge_regions_if_ok`Niko Matsakis-23/+7
2017-04-11generalize type variables tooNiko Matsakis-46/+197
2017-04-11avoid unneeded subtype obligations in lub/glbNiko Matsakis-1/+27
2017-04-11add FIXME for bivariant lub/glbNiko Matsakis-0/+2
2017-04-11add FIXME to #18653Niko Matsakis-0/+3
2017-04-11remove the subtyping relations from TypeVariableNiko Matsakis-127/+47
2017-04-11use obligations to propagate sub-typing instead of the TV codeNiko Matsakis-4/+21
2017-04-11add Subtype predicateNiko Matsakis-1/+38
2017-04-11remove bivarianceNiko Matsakis-133/+4
2017-04-11Highlight and simplify mismatched typesEsteban Küber-9/+281
2017-03-30add a `TypeVariableOrigin` we'll use later (`DerivingFn`)Niko Matsakis-0/+1
2017-03-30add some debug logs to type_variable.rsNiko Matsakis-1/+3
2017-03-26store 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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-10 22:17:47 +0000