about summary refs log tree commit diff
path: root/src/librustc/infer
AgeCommit message (Expand)AuthorLines
2019-02-09cleanup: rename node_id_to_type(_opt)ljedrz-3/+3
2019-02-08review comments: (marginally) reduce memory consumtionEsteban Küber-5/+9
2019-02-07Reweork incompatible match arms errorEsteban Küber-12/+17
2019-02-05rustc: partially HirIdifyljedrz-14/+10
2019-02-05move librustc to 2018Mark Mansi-209/+209
2019-02-03cleanup: don't use node_to_hir_id where unneededljedrz-3/+2
2019-02-01Restrict concrete types to equivalent typesOliver Scherer-1/+1
2019-01-28Refer to synthetically named lifetimes as "some specific lifetime" rather tha...Rémy Rakic-2/+2
2019-01-27Fix stray typoRémy Rakic-1/+1
2019-01-27Extract the notes explaining the placeholder region errors to a helper fnRémy Rakic-8/+43
2019-01-27When mentioning lifetimes, put either the trait ref or the self type closer t...Rémy Rakic-26/+63
2019-01-27comment the patternNiko Matsakis-0/+15
2019-01-27identify when implemented for "some specific lifetime"Niko Matsakis-127/+120
2019-01-27add a lot more `debug!` to `try_report_placeholders_trait`Niko Matsakis-0/+15
2019-01-27Try to reword placeholder error messages to make them clearerlqd-31/+45
2019-01-27Try to resolve type vars in the placeholder errors trait refslqd-8/+12
2019-01-27Handle higher-ranked lifetime conflict errors where the subtype is the `sup` ...lqd-0/+24
2019-01-27Make NiceRegionError use the `InferCtxt` instead of its `TyCtxt`lqd-43/+47
2019-01-26remove `_with_applicability` from suggestion fnsAndy Russell-6/+6
2019-01-25Rollup merge of #57652 - mark-i-m:remove-old, r=nikomatsakisMazdak Farrokhzad-476/+11
2019-01-21Rollup merge of #57783 - davidtwco:issue-57741, r=estebankMazdak Farrokhzad-2/+19
2019-01-20Add "dereference boxed value" suggestion.David Wood-2/+19
2019-01-20Auto merge of #57697 - dotdash:fast_lex_reg_resol_item_bodies, r=nagisabors-6/+8
2019-01-18remove more old readmesmark-401/+6
2019-01-18Inline `expand_node`.Nicholas Nethercote-9/+14
2019-01-18Remove unneeded `origin` arg from `iterate_until_fixed_point`'s closure.Nicholas Nethercote-7/+6
2019-01-17Use a faster early exit during region expansionBjörn Steinbrink-6/+8
2019-01-15update/remove some old readmesmark-75/+5
2019-01-13Suggest removal of semicolon when appropriateEsteban Küber-1/+9
2019-01-13Tweak output of type mismatch between "then" and `else` `if` armsEsteban Küber-2/+6
2019-01-13Rollup merge of #57366 - estebank:point-match-discrim, r=varkorMazdak Farrokhzad-0/+5
2019-01-12Don't add label to the match expr when the type is not fully realizedEsteban Küber-1/+3
2019-01-12Reword label as per review commentEsteban Küber-1/+1
2019-01-12Point at the match discriminant when arm pattern has a type mismatchEsteban Küber-0/+3
2019-01-10Add a fast path for identical regions in lub_concrete_regionsBjörn Steinbrink-0/+7
2019-01-10Drop "solved" constraints during region expansionBjörn Steinbrink-8/+16
2019-01-05Rollup merge of #57314 - wiktorkuchta:master, r=Centrilkennytm-1/+1
2019-01-04Revert "add coherence future-compat warnings for marker-only trait objects"Ariel Ben-Yehuda-55/+4
2019-01-03Fix repeated word typosWiktor Kuchta-1/+1
2019-01-02rename `type_moves_by_default` to `type_is_copy_modulo_regions`Niko Matsakis-3/+4
2019-01-02track if any region constraints involved placeholdersNiko Matsakis-10/+30
2019-01-02improve handling for subtypeNiko Matsakis-58/+121
2019-01-02say "the lifetime" instead of "some lifetime" when it feels rightNiko Matsakis-7/+20
2019-01-02apply the same logic to ConcreteFailure errorsNiko Matsakis-0/+50
2019-01-02refactor highlighting to take any RegionKind, making it more generalNiko Matsakis-121/+76
2019-01-02apply the new placeholder errors even with just one placeholderNiko Matsakis-2/+50
2019-01-02introduce placeholder-placeholder errors for trait matchingNiko Matsakis-8/+238
2019-01-02dump out the exact state in error reporting debugsNiko Matsakis-0/+10
2019-01-02universe transitionNiko Matsakis-665/+85
2019-01-02introduce ability to detect region constraints from snapshotNiko Matsakis-0/+18