summary refs log tree commit diff
path: root/src/librustc/infer
AgeCommit message (Expand)AuthorLines
2019-02-22update test files to reflect new outputNiko Matsakis-0/+12
2019-02-22restore the actual leak-checkNiko Matsakis-13/+170
2019-02-22introduce a dummy leak check and invoke it in all the right placesNiko Matsakis-15/+44
2019-02-22reintroduce `commit_if_ok` calls to `subtype_predicate`Niko Matsakis-14/+16
2019-02-22reintroduce `commit_if_ok` call into `higher_ranked_sub`Niko Matsakis-20/+27
2019-02-22make generalization code create new variables in correct universeNiko Matsakis-21/+64
2019-02-22Fix #57979 by allowing a legitimate type error to take precedence over an ICE.Felix S. Klock II-1/+10
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
2019-01-02make evaluation track whether outlives relationships matteredNiko Matsakis-1/+1
2018-12-29Use `same_type` instead of duplicating logicEsteban Küber-19/+12
2018-12-28Suggest `.as_ref()` when appropriate for `Option` and `Result`Esteban Küber-0/+74
2018-12-27Use `TraitEngine` in `enter_canonical_trait_query`scalexm-8/+12
2018-12-27Integrate chalk enginescalexm-3/+36
2018-12-25Remove licensesMark Rousskov-390/+0
2018-12-20Auto merge of #56219 - arielb1:never-coerce-box, r=nikomatsakisbors-0/+4
2018-12-19Auto merge of #54252 - arielb1:deref-query, r=nikomatsakisbors-0/+25
2018-12-19Auto merge of #56601 - Zoxc:lifetime-killer, r=nikomatsakisbors-2/+7
2018-12-18Auto merge of #56481 - arielb1:dynamic-order, r=nikomatsakisbors-4/+55
2018-12-17trigger unsized coercions keyed on Sized boundsAriel Ben-Yehuda-0/+4
2018-12-16Rollup merge of #56742 - ljedrz:remove_query_response_box, r=oli-obkMazdak Farrokhzad-26/+25
2018-12-15address review commentsAriel Ben-Yehuda-3/+1
2018-12-15implement "isolated" autoderef using the Canonical mechanismAriel Ben-Yehuda-0/+27
2018-12-14add coherence future-compat warnings for marker-only trait objectsAriel Ben-Yehuda-4/+55
2018-12-13Some changesJohn Kåre Alsaker-0/+2
2018-12-13Make the 'a lifetime on TyCtxt uselessJohn Kåre Alsaker-2/+5
2018-12-12Account for `impl Trait` when suggesting lifetimeEsteban Küber-11/+20
2018-12-12infer: remove Box from a returned Iteratorljedrz-26/+25
2018-12-08Auto merge of #56578 - alexreg:cosmetic-1, r=alexregbors-21/+21
2018-12-07Various minor/cosmetic improvements to codeAlexander Regueiro-21/+21