about summary refs log tree commit diff
path: root/compiler/rustc_infer
AgeCommit message (Expand)AuthorLines
2023-02-21Name placeholder in some region errorsMichael Goulet-10/+17
2023-02-20remove cfg attributesb-naber-5/+1
2023-02-20small `opaque_type_origin` cleanuplcnr-24/+16
2023-02-19collect existentials and placeholdersb-naber-6/+18
2023-02-19collect region contexts during mir renumberingb-naber-0/+2
2023-02-18Make sure test_type_match doesn't ICE with late-bound typesMichael Goulet-1/+2
2023-02-18Collapse placeholders to root universe in canonicalizer if not preserving uni...Michael Goulet-4/+9
2023-02-18Rollup merge of #108186 - compiler-errors:closures-with-late-bound-types-r-ba...Matthias Krüger-2/+4
2023-02-18Move late-bound arg type checks to resolve_bound_varsMichael Goulet-2/+4
2023-02-17Don't delay ReError bug during lexical region resolveMichael Goulet-1/+1
2023-02-17Auto merge of #108075 - WaffleLapkin:de-arena-allocates-you-OwO, r=Nilstriebbors-3/+3
2023-02-17Add `Clause::ConstArgHasType` variantBoxy-0/+4
2023-02-17Auto merge of #107753 - kylematsuda:type-of, r=BoxyUwUbors-6/+14
2023-02-16changes from reviewKyle Matsuda-1/+7
2023-02-16remove bound_type_of query; make type_of return EarlyBinder; change type_of i...Kyle Matsuda-6/+6
2023-02-16change usages of type_of to bound_type_ofKyle Matsuda-3/+5
2023-02-17Rollup merge of #108136 - eggyal:unmet_trait_alias_bound_on_generic_impl, r=c...Matthias Krüger-1/+1
2023-02-17Rollup merge of #108104 - matthiaskrgr:into, r=compiler-errorsMatthias Krüger-2/+2
2023-02-17Rollup merge of #107489 - compiler-errors:non_lifetime_binders, r=cjgillotMatthias Krüger-15/+15
2023-02-16Clarify `DerivedObligationCause` may hold alias idAlan Egerton-1/+1
2023-02-16Auto merge of #108127 - matthiaskrgr:rollup-kpzfc6j, r=matthiaskrgrbors-6/+4
2023-02-16don't into selfMatthias Krüger-2/+2
2023-02-16Auto merge of #108020 - nnethercote:opt-mk_region, r=compiler-errorsbors-31/+29
2023-02-16`if $c:expr { Some($r:expr) } else { None }` =>> `$c.then(|| $r)`Maybe Waffle-6/+4
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