about summary refs log tree commit diff
path: root/compiler/rustc_infer/src
AgeCommit message (Expand)AuthorLines
2023-02-16Rename some region-specific stuffMichael Goulet-15/+15
2023-02-15Rollup merge of #108049 - clubby789:dont-suggest-unstable, r=compiler-errorsMatthias Krüger-1/+3
2023-02-15Rollup merge of #108010 - compiler-errors:can_eq-returns-bool, r=lcnrMatthias Krüger-16/+6
2023-02-15Rollup merge of #107034 - IntQuant:issue-100717-infer-5, r=oli-obkMatthias Krüger-230/+448
2023-02-15Copy `ty::AssocItem` all other the placeMaybe Waffle-3/+3
2023-02-15Auto merge of #108006 - cjgillot:def-impl, r=oli-obkbors-1/+1
2023-02-15Don't suggest `#[doc(hidden)]` methodsclubby789-1/+3
2023-02-15Auto merge of #108070 - Dylan-DPC:rollup-v6xw7vk, r=Dylan-DPCbors-0/+65
2023-02-15Rollup merge of #107173 - clubby789:suggest-array-length, r=compiler-errorsDylan DPC-0/+65
2023-02-15Auto merge of #107940 - BoxyUwU:const_ty_assertion_use_semantic_equality, r=c...bors-0/+30
2023-02-15Add specialized variants of `mk_region`.Nicholas Nethercote-31/+29
2023-02-15Remove `reuse_or_mk_region`.Nicholas Nethercote-3/+3
2023-02-14Specify correct spans in suggest_await_on_expect_foundIQuant-8/+6
2023-02-14Add `of_trait` to DefKind::Impl.Camille GILLOT-1/+1
2023-02-14Port PlaceholderRelationLfNotSatisfied diagnosticIQuant-29/+96
2023-02-14Port ConsiderAddingAwaitIQuant-38/+70
2023-02-14Port SuggestRemoveSemiOrReturnBindingIQuant-46/+92
2023-02-14Make sure tests passNikita Tomashevich-1/+1
2023-02-14Port WhereClauseSuggestionsNikita Tomashevich-17/+37
2023-02-14Resolve rebaseNikita Tomashevich-38/+2
2023-02-14Port another diagnosticNikita Tomashevich-15/+19
2023-02-14Port RefLongerThanDataNikita Tomashevich-17/+27
2023-02-14Port "BorrowedTooLong" diagnosticNikita Tomashevich-5/+41
2023-02-14Port OutlivesContent, OutlivesBound, FUllfillReqLifetime, LfBoundNotSatisfied...Nikita Tomashevich-76/+117
2023-02-13Rollup merge of #107902 - vincenzopalazzo:macros/async_fn_suggestion, r=compi...Matthias Krüger-27/+38
2023-02-13Make can_eq and can_sub return booleansMichael Goulet-16/+6
2023-02-13fix: improve the suggestion on future not awaitedVincenzo Palazzo-27/+38
2023-02-13Rename folder traits' `tcx` method to `interner`Alan Egerton-19/+19
2023-02-13Make folding traits generic over the InternerAlan Egerton-11/+11
2023-02-13Make visiting traits generic over the InternerAlan Egerton-8/+8
2023-02-13Alias folding/visiting traits instead of re-exportAlan Egerton-19/+23
2023-02-13Reduce direct `mk_ty` usage.Nicholas Nethercote-6/+6
2023-02-13Pre-intern some commonly used type variables.Nicholas Nethercote-11/+6
2023-02-12rename query and use `NoSolution`Boxy-1/+3
2023-02-12Suggest the correct array length on mismatchclubby789-0/+65
2023-02-11make `relate`'s const ty assertion use semantic equalityBoxy-0/+28
2023-02-11Auto merge of #107507 - BoxyUwU:deferred_projection_equality, r=lcnrbors-153/+164
2023-02-10implement `compute_alias_eq_goal`Boxy-11/+23
2023-02-10emit `AliasEq` when relating type and const aliasesBoxy-142/+137
2023-02-10Rollup merge of #107789 - jieyouxu:issue-107745, r=lcnrMatthias Krüger-9/+14
2023-02-10add `AliasEq` to `PredicateKind`Boxy-0/+4
2023-02-10Auto merge of #107652 - estebank:re_error, r=oli-obkbors-11/+44
2023-02-10Auto merge of #107870 - matthiaskrgr:rollup-3z1q4rm, r=matthiaskrgrbors-6/+4
2023-02-09Cleanup free_region_relations a bitJack Huey-0/+1
2023-02-09Use `ErrorGuaranteed` more in `ReError`Esteban Küber-3/+5
2023-02-09Change to `ReError(ErrorGuaranteed)`Esteban Küber-15/+17
2023-02-09review commentsEsteban Küber-1/+3
2023-02-09Introduce `ReError`Esteban Küber-10/+37
2023-02-09Don't expose type parameters and implementation details from macro expansion许杰友 Jieyou Xu (Joe)-9/+14
2023-02-09Avoid some `tls::with` calls.Nicholas Nethercote-6/+4