about summary refs log tree commit diff
path: root/src/librustc/infer
AgeCommit message (Expand)AuthorLines
2019-04-28Fix lint findings in librustcflip1995-13/+13
2019-04-27Auto merge of #59540 - Zoxc:the-arena-2, r=michaelwoeristerbors-4/+5
2019-04-25Auto merge of #59111 - gilescope:generator-better-errors, r=nikomatsakisbors-25/+62
2019-04-25Update trait queriesJohn Kåre Alsaker-4/+5
2019-04-25Improved error message when type must be bound due to generator.Giles Cope-25/+62
2019-04-23Rollup merge of #60177 - rasendubi:rustdoc-comments, r=varkorMazdak Farrokhzad-137/+134
2019-04-23Rollup merge of #59823 - davidtwco:issue-54716, r=cramertjMazdak Farrokhzad-14/+10
2019-04-22Promote rust comments to rustdocAlexey Shmalko-137/+134
2019-04-22Remove double trailing newlinesvarkor-2/+0
2019-04-21Enable migrate mode by default on the 2015 editionMatthew Jasper-2/+2
2019-04-21Introduce `ArgSource` for diagnostics.David Wood-14/+10
2019-04-14Rollup merge of #59735 - matklad:deadcode, r=sanxiynMazdak Farrokhzad-1/+1
2019-04-10Suggest removing `?` to resolve type errors.David Wood-1/+27
2019-04-05remove lookup_char_pos_adjAleksey Kladov-1/+1
2019-04-03Deny internal lints in librustcflip1995-11/+11
2019-04-01Refactor async fn return type loweringTaylor Cramer-20/+60
2019-03-31Suggest using anonymous lifetime in `impl Trait` return without hacksEsteban Küber-34/+13
2019-03-29Suggest using anonymous lifetime in `impl Trait` returnEsteban Küber-6/+36
2019-03-27Use Vec instead of FxHashMapvarkor-19/+20
2019-03-27Lookup region variable origin instead of choosing onevarkor-12/+16
2019-03-27Store type variable origins in InferenceFudgervarkor-6/+13
2019-03-27Use `eq_relations`varkor-10/+8
2019-03-27Add `next_int_var` and `next_float_var`varkor-6/+14
2019-03-27Simplify `fudge_inference_if_ok`varkor-19/+19
2019-03-27Add int variables and float variables to `InferenceFudger`varkor-9/+35
2019-03-27Rename `RegionFudger` to `InferenceFudger`varkor-7/+7
2019-03-27Remove `TypeVariableMap`varkor-2/+0
2019-03-27Use Ranges for vars_since_snapshotvarkor-39/+37
2019-03-27Simplify `TypeVariableTable::vars_since_snapshot`varkor-13/+4
2019-03-27Simplify `RegionConstraintCollector::vars_since_snapshot`varkor-6/+1
2019-03-27Make `vars_since_snapshot` naming consistentvarkor-12/+10
2019-03-20expand the fixmeNiko Matsakis-1/+4
2019-03-20refactor so that `relate_ty_var` can accommodate vid on a or b sideNiko Matsakis-22/+130
2019-03-20nll_relate/mod.rs: rustfmtNiko Matsakis-25/+27
2019-03-20Fix a bug in chalk unification codescalexm-2/+14
2019-03-15rustc: provide DisambiguatedDefPathData in ty::print.Eduard-Mihai Burtescu-2/+4
2019-03-15rustc: slice substs in ty::print instead of passing the full ones.Eduard-Mihai Burtescu-1/+1
2019-03-15rustc: remove PrintCx from ty::Print and rely on printers carrying TyCtxt.Eduard-Mihai Burtescu-34/+34
2019-03-15rustc: don't thread existential projections through path_generic_args.Eduard-Mihai Burtescu-4/+11
2019-03-15rustc: make `pretty_path_generic_args`' task as simple as possible.Eduard-Mihai Burtescu-3/+2
2019-03-15rustc: print elided regions as '_ instead of nothing, and use a separate chec...Eduard-Mihai Burtescu-3/+7
2019-03-15rustc: move ty::print::PrintConfig's fields to FmtPrinter.Eduard-Mihai Burtescu-10/+5
2019-03-15rustc: make util::ppaux private.Eduard-Mihai Burtescu-1/+1
2019-03-15rustc: don't pass Namespace explicitly, but rather track it in FmtPrinter.Eduard-Mihai Burtescu-7/+6
2019-03-15rustc: support overriding type printing in ty::print::Printer.Eduard-Mihai Burtescu-0/+8
2019-03-15rustc: support overriding region printing in ty::print::Printer.Eduard-Mihai Burtescu-0/+8
2019-03-15rustc: centralize region printing in ty::RegionKind's Print impl.Eduard-Mihai Burtescu-2/+5
2019-03-15rustc: don't keep RegionHighlightMode in a thread-local.Eduard-Mihai Burtescu-113/+142
2019-03-15rustc: pass ty::print::PrintCx by value.Eduard-Mihai Burtescu-11/+26
2019-03-15rustc: split off most of ty::print::PrintCx's fields into a separate struct.Eduard-Mihai Burtescu-2/+3